John Franco

Papers

Total Citations

299

H-Index

About

John Franco’s research career spans two seemingly distinct but computationally foundational domains: the satisfiability (SAT) problem and robot navigation. His most impactful contribution is the landmark survey "Algorithms for the satisfiability (SAT) problem: A survey" (1997), which has garnered 287 citations. This work remains a critical resource for researchers in automated reasoning, computer-aided design, and machine vision, synthesizing decades of algorithmic progress on a core problem in mathematical logic and computing theory. In the field of robotics, Franco contributed to the development of incremental replanning algorithms, notably through his work on D* Lite. His 2002 paper "Avoiding Unnecessary Calculations in Robot Navigation" and the 2011 "ID* Lite" (8 citations) address the challenge of efficient path planning in unknown or dynamic environments, building upon one of the most functional algorithms in the domain. While his SAT survey defines his legacy in terms of citation impact, his robotics work demonstrates a versatility in tackling complex, real-world computational problems. Franco’s career illustrates how deep theoretical understanding can be applied across diverse problem spaces, from logic to autonomous systems.