| |
| 2004 | ||
|---|---|---|
| 2 | EE | Jeffrey Ward, John S. Schlipf: Answer Set Programming with Clause Learning. LPNMR 2004: 302-313 |
| 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 | Michael Dransfield | [1] |
| 2 | John V. Franco | [1] |
| 3 | Michal Kouril | [1] |
| 4 | John S. Schlipf | [1] [2] |
| 5 | W. Mark Vanfleet | [1] |
| 6 | Sean Weaver | [1] |