 | 2004 |
|---|
| 3 |       | 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 |
|---|
| 2 | | 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 |
| 2000 |
|---|
| 1 | | W. B. Martin,
P. D. White,
W. Mark Vanfleet:
Government, industry, and academia: Teaming to design high confidence information security applications.
FMSP 2000: 37-47 |
