Author Info
Name
Affiliation
Papers
JOHN V. FRANCO
The University of Cincinnati, Cincinnati, 45221-0030 USA
8
Collaborators
Citations 
PageRank 
15
106
13.84
Referers 
Referees 
References 
176
125
83
Search Limit
100176
Title
Citations
PageRank
Year
Extending Existential Quantification in Conjunctions of BDDs60.492006
Function-Complete Lookahead in Support of Efficient SAT Search Heuristics30.462004
SBSAT: a State-Based, BDD-Based Satisfiability Solver150.732003
On finding solutions for extended Horn formulas381.671995
Computing Well-founded Semantics Faster132.291995
Recent Work at the Interface of Logic, Combinatorics and Computer Science10.381992
Creating efficient programs by exchanging data for procedures10.411989
On the probabilistic performance of algorithms for the satisfiability problem297.421986