5 search results - page 1 / 1 » Consistency Checking of All Different Constraints over Bit-V... |
79
Voted
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
DAC
2002
ACM
16 years 1 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
122
click to vote
FMCAD
2006
Springer
15 years 3 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
AI
2010
Springer
15 years 8 days ago
2010
Springer
Combining constraints using logical connectives such as disjunction is ubiquitous in constraint programming, because it adds considerable expressive power to a constraint language...
119
Voted
ICCAD
2009
IEEE
14 years 10 months ago
2009
IEEE
Computational protein design can be formulated as an optimization problem, where the objective is to identify the sequence of amino acids that minimizes the energy of a given prot...