| |
| 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 |
| 1 | John V. Franco | [1] [2] |
| 2 | Michal Kouril | [1] [2] |
| 3 | John S. Schlipf | [1] [2] |
| 4 | W. Mark Vanfleet | [1] [2] |
| 5 | Jeffrey Ward | [1] |
| 6 | Sean Weaver | [1] [2] |