John V. Franco
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1995–2011
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | SAC | ID* Lite: improved D* Lite algorithm. | Weiya Yue, John V. Franco, Weiwei Cao, Hongwei Yue |
| 2005 | SAT | Resolution Tunnels for Improved SAT Solver Performance. | Michal Kouril, John V. Franco |
| 2003 | SAT | SBSAT: a State-Based, BDD-Based Satisfiability Solver. | John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet |
| 1995 | LPNMR | Computing Well-founded Semantics Faster. | Kenneth A. Berman, John S. Schlipf, John V. Franco |