Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

24

CAV
2000
Springer

favoriteEmaildiscussreport

108views Hardware» more CAV 2000»

Boolean Satisfiability with Transitivity Constraints

14 years 2 months ago

Boolean Satisfiability with Transitivity Constraints

Download www.cs.cmu.edu

Randal E. Bryant, Miroslav N. Velev

Real-time Traffic

CAV 2000 | Hardware |

claim paper

Related Content

» Satisfying Assignments of Random Boolean Constraint Satisfaction Problems Clusters and Ove...

» SatisfiabilityBased Detailed FPGA Routing

» Some Progress in Satisfiability Checking for Difference Logic

» Verifying UMLOCL models using Boolean satisfiability

» QB or Not QB An Efficient Execution Verification Tool for Memory Orderings

» A Tutorial on Satisfiability Modulo Theories

» Functional Test Generation using Constraint Logic Programming

» Symmetry Breaking for Maximum Satisfiability

» Phase Transitions and Complexity of Weighted Satisfiability and Other Intractable Paramete...

Post Info
More Details (n/a)

Added	24 Aug 2010
Updated	24 Aug 2010
Type	Conference
Year	2000
Where	CAV
Authors	Randal E. Bryant, Miroslav N. Velev

Comments (0)