John Franco

Publication Activity (10 Years)

Years Active: 1983-2022
Publications (10 Years): 3

Top Topics

Language Generation

Transfer Learning

Cross Domain Text Classification

Top Venues

Ann. Math. Artif. Intell.

Publications

Nathan Daughety, Marcus Pendleton, Rebeca Perez, Shouhuai Xu, John Franco
Auditing a Software-Defined Cross Domain Solution Architecture. CSR (2022)
Nathan Daughety, Marcus Pendleton, Shouhuai Xu, Laurent Njilla, John Franco
vCDS: A Virtualized Cross Domain Solution Architecture. MILCOM (2021)
John Franco
A Peek at the Cryptol Language. ISAIM (2018)
Miroslav N. Velev, John Franco
Application of constraints to formal verification and artificial intelligence. Ann. Math. Artif. Intell. 70 (4) (2014)
John Franco
Preface to the special issue. Ann. Math. Artif. Intell. 61 (3) (2011)
Weiya Yue, John Franco, Weiwei Cao, Hongwei Yue
ID* Lite: improved D* Lite algorithm. SAC (2011)
Weiya Yue, John Franco, Weiwei Cao
Improved Complexity Bound of Vertex Cover for Low degree Graph CoRR (2010)
John W. Rosenthal, Jacob Manuel Plotkin, John Franco
The Probability of Pure Literals. J. Log. Comput. 9 (4) (1999)
John Franco
Relative size of certain polynomial time solvable subclasses of satisfiability. Satisfiability Problem: Theory and Applications (1996)
Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah
Algorithms for the satisfiability (SAT) problem: A survey. Satisfiability Problem: Theory and Applications (1996)
John Franco, Yuan Chuan Ho
Probabilistic performance of a heuristic for the satisfiability problem. Discret. Appl. Math. 22 (1) (1988)
John Franco, Jacob Manuel Plotkin, John W. Rosenthal
Correction to probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem. Discret. Appl. Math. 17 (3) (1987)
Elarbi Choukhmane, John Franco
An approximation algorithm for the maximum independent set problem in cubic planar graphs. Networks 16 (4) (1986)
John Franco
Duality, finite improvement and efficiently solved optimization problems. SIGACT News 16 (1) (1984)
John Franco
Duality, finite improvement and efficiently solved optimization problems. SIGACT News 15 (4) (1984)
John Franco
Probabilistic analysis of the pure literal heuristic for the satisfiability problem. Ann. Oper. Res. 1 (3) (1984)
John Franco, Marvin C. Paull
Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem. Discret. Appl. Math. 5 (1) (1983)