Search Sciweavers | Sciweavers

248 search results - page 2 / 50

» Circuit-based Boolean Reasoning

click to vote

DAC
2008
ACM

127views Computer Architecture» more DAC 2008»

Topology synthesis of analog circuits based on adaptively generated building blocks

13 years 6 months ago

Download www.ece.uc.edu

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...

Angan Das, Ranga Vemuri

claim paper

Read More »

click to vote

ICLP
2011
Springer

235views Automated Reasoning» more ICLP 2011»

Constraints in Non-Boolean Contexts

12 years 8 months ago

Download drops.dagstuhl.de

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...

Leslie De Koninck, Sebastian Brand, Peter J. Stuck...

claim paper

Read More »

click to vote

CADE
2005
Springer

97views Logical Reasoning» more CADE 2005»

sKizzo: A Suite to Evaluate and Certify QBFs

14 years 5 months ago

Download www.univ-orleans.fr

We present sKizzo, a system designed to evaluate and certify Quantified Boolean Formulas (QBFs) by means of propositional skolemization and symbolic reasoning.

Marco Benedetti

claim paper

Read More »

click to vote

CSL
2008
Springer

92views Automated Reasoning» more CSL 2008»

Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint

13 years 6 months ago

Download tocl.acm.org

Nadia Creignou, Henning Schnoor, Ilka Schnoor

claim paper

Read More »