248 search results - page 2 / 50 » Circuit-based Boolean Reasoning |
87
Voted
DAC
2008
ACM
15 years 21 days ago
2008
ACM
This paper presents an automated analog synthesis tool for topology generation and subsequent circuit sizing. Though sizing is indispensable, the paper mainly concentrates on topo...
123
Voted
ICLP
2011
Springer
14 years 2 months ago
2011
Springer
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...
CADE
2005
Springer
15 years 11 months ago
2005
Springer
We present sKizzo, a system designed to evaluate and certify Quantified Boolean Formulas (QBFs) by means of propositional skolemization and symbolic reasoning.
CSL
2008
Springer
15 years 21 days ago
2008
Springer
73
Voted
LOPSTR
2007
Springer
15 years 5 months ago
2007
Springer