John Franco

University of Cincinnati

Papers

3

Total Citations

299

H-Index

3

About

No biography available yet.

Research Focus

Artificial intelligence3 · 299 citations
Computer science3 · 299 citations
Programming language2 · 295 citations
Algorithm2 · 291 citations
Logic programming1 · 287 citations
Answer set programming1 · 287 citations
Boolean satisfiability problem1 · 287 citations
Satisfiability1 · 287 citations
Set (abstract data type)1 · 287 citations
Theoretical computer science1 · 287 citations
Geography2 · 12 citations
Variety (cybernetics)2 · 12 citations

Key Achievements

3
H-Index
3
Papers
299
Total Citations
100
Avg Citations/Paper
🏆 Most Cited Paper
Algorithms for the satisfiability (SAT) problem: A survey
287 citations · 1997
📈 Most Prolific Year: 1997 (1 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: University of Cincinnati

Top Papers

  1. 1
    Algorithms for the satisfiability (SAT) problem: A survey
    287 citations · 1997
  2. 2
    ID* Lite
    8 citations · 2011
  3. 3
    Avoiding Unnecessary Calculations in Robot Navigation
    4 citations · 2002

Key Collaborators

WYWeiya Yue2 shared papersPWPaul W. Purdom1 shared papersWCWeiwei Cao1 shared papersHYHongwei Yue1 shared papersBWBenjamin W. Wah1 shared papersJGJun Gu1 shared papers
Not generated yet