BibSLEIGH — aig stem

Used together with:

solver (2)
qbf (2)
base (2)
structur (1)
sat (1)

Stem aig$ (all stems)

DATE-2013-MishchenkoEBCCS: A semi-canonical form for sequential AIGs (AM, NE, RKB, MLC, PC, NS), pp. 797–802.
DAC-2010-PigorschS #preprocessor #satisfiability #using: An AIG-Based QBF-solver using SAT for preprocessing (FP, CS), pp. 170–175.
DATE-2009-PigorschS: Exploiting structure in an AIG based QBF solver (FP, CS), pp. 1596–1601.
DAC-2006-MishchenkoCB #fresh look #logic #synthesis: DAG-aware AIG rewriting a fresh look at combinational logic synthesis (AM, SC, RKB), pp. 532–535.