ISMVL 2000 - PDF Preprint Papers

ISMVL 2000 IEEE International Symposium on Multiple-Valued Logic

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ISMVL-2000 Paper

click to vote

ISMVL
2000
IEEE

134views Hardware» more ISMVL 2000»

The 2-SAT Problem of Regular Signed CNF Formulas

14 years 4 months ago

Download www.uni-koblenz.de

Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...

Bernhard Beckert, Reiner Hähnle, Felip Many&a...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	134	The 2-SAT Problem of Regular Signed CNF Formulas	claim
2	124	Silicon Single-Electron Devices and Their Applications	claim
3	121	Evolvable Hardware: From On-Chip Circuit Synthesis to Evolvable Space Systems	claim
4	120	Mod-p Decision Diagrams: A Data Structure for Multiple-Valued Functions	claim
5	111	De Morgan Bisemilattices	claim
6	105	Computational Neurobiology Meets Semiconductor Engineering	claim
7	103	Experiments on FPRM Expressions for Partially Symmetric Logic Functions	claim
8	98	Implementation of Multiple-Output Functions Using PQMDDs	claim
9	95	A Four-Valued Logic B(4) of E(9) for Modeling Human Communication	claim
10	90	Structures with Many-Valued Information and Their Relational Proof Theory	claim
11	81	Propagation Algorithm of Behavior Probability in Power Estimation Based on Multiple-Valued Logic	claim
12	79	Novel Resonant-Tunneling Multiple-Threshold Logic Circuit Based on Switching Sequence Detection	claim
13	78	Probabilistic Verification of Multiple-Valued Functions	claim
14	64	Properties of Independent Components of Self-Motion Optical Flow	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers