Thornton, John

6 publications

AAAI 2014 Tailoring Local Search for Partial MaxSAT Shaowei Cai, Chuan Luo, John Thornton, Kaile Su

AAAI 2008 Efficiently Exploiting Dependencies in Local Search for SAT Duc Nghia Pham, John Thornton, Abdul Sattar

IJCAI 2007 Building Structure into Local Search for SAT Duc Nghia Pham, John Thornton, Abdul Sattar

AAAI 2005 SAT-Based Versus CSP-Based Constraint Weighting for Satisfiability Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi

AAAI 2004 Additive Versus Multiplicative Clause Weighting for SAT John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr.

AAAI 1998 Using Arc Weights to Improve Iterative Repair John Thornton, Abdul Sattar