| 2006 |
|---|
| 3 | EE | Sean Weaver,
John V. Franco,
John S. Schlipf:
Extending Existential Quantification in Conjunctions of BDDs.
JSAT 1(2): 89-110 (2006) |
| 2004 |
|---|
| 2 | EE | John V. Franco,
Michal Kouril,
John S. Schlipf,
Sean Weaver,
Michael Dransfield,
W. Mark Vanfleet:
Function-Complete Lookahead in Support of Efficient SAT Search Heuristics.
J. UCS 10(12): 1655-1695 (2004) |
| 2003 |
|---|
| 1 | EE | John V. Franco,
Michal Kouril,
John S. Schlipf,
Jeffrey Ward,
Sean Weaver,
Michael Dransfield,
W. Mark Vanfleet:
SBSAT: a State-Based, BDD-Based Satisfiability Solver.
SAT 2003: 398-410 |
