Edit Profile (opens in new tab) Thornton, John H. Co-Author Distance Author ID: thornton.john-h Published as: Thornton, John H. Documents Indexed: 22 Publications since 1996 1 Contribution as Editor Co-Authors: 3 Co-Authors with 1 Joint Publication 32 Co-Co-Authors all top 5 Co-Authors 3 single-authored 10 Sattar, Abdul 4 Pham, Duc Nghia 3 Pullan, Wayne 2 Bain, Stuart 2 Beaumont, Matthew 2 Maher, Michael J. 1 Altunbas, Yener 1 Anbulagan, Anbu 1 Ferreira, Valnir 1 Ghosh, Suvankar 1 Gretton, Charles 1 Ishtaiwi, Abdelraouf 1 Kravchuk, Olena 1 Molyneux, Philip 1 Offodile, Onyebuchi Felix 1 Orgun, Mehmet Ali 1 Reghezza, Alessio 1 Seghezza, Elena 1 Sonin, Isaac M. 1 Terry, Justin 1 Troutt, Marvin D. 1 Zhao, Liang 1 Zhou, Lingzhong all top 5 Serials 5 Economics Letters 1 Artificial Intelligence 1 Journal of Automated Reasoning 1 SIAM Journal on Matrix Analysis and Applications 1 Journal of Logic and Computation 1 European Journal of Operational Research 1 Lecture Notes in Computer Science 1 Journal of Satisfiability, Boolean Modeling and Computation all top 5 Fields 16 Computer science (68-XX) 5 Statistics (62-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Probability theory and stochastic processes (60-XX) Publications by Year Citations contained in zbMATH Open 12 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Recursive algorithm for the fundamental group inverse matrix of a Markov chain from an explicit formula. Zbl 0990.60069 Sonin, Isaac; Thornton, John 8 2001 Modelling and solving temporal reasoning as propositional satisfiability. Zbl 1184.68485 Pham, Duc Nghia; Thornton, John; Sattar, Abdul 6 2008 A two level local search for MAX-SAT problems with hard and soft constraints. Zbl 1032.68753 Thornton, John; Bain, Stuart; Sattar, Abdul; Pham, Duc Nghia 6 2002 Clause weighting local search for SAT. Zbl 1109.68106 Thornton, John 5 2005 Combining adaptive and dynamic local search for satisfiability. Zbl 1159.68566 Pham, Duc Nghia; Thornton, John; Gretton, Charles; Sattar, Abdul 4 2008 Cointegration, causality and export-led growth in Mexico, 1895-1992. Zbl 0875.90075 Thornton, John 2 1996 Neighbourhood clause weight redistribution in local search for SAT. Zbl 1153.68050 Ishtaiwi, Abdelraouf; Thornton, John; Sattar, Abdul; Pham, Duc Nghia 2 2005 A local search approach to modelling and solving interval algebra problems. Zbl 1085.68154 Thornton, J.; Beaumont, M.; Sattar, A.; Maher, Michael 2 2004 Tariff endogeneity: Evidence from 19th century Europe. Zbl 0896.90070 Thornton, John; Molyneux, Philip 1 1997 Towards fewer parameters for SAT clause weighting algorithms. Zbl 1032.68754 Thornton, John; Pullan, Wayne; Terry, Justin 1 2002 AI 2007: Advances in artificial intelligence. 20th Australian joint conference on artificial intelligence, Gold Coast, Australia, December 2–6, 2007. Proceedings. Zbl 1134.68305 1 2007 An empirical method for assessing the research relevance gap. Zbl 1175.90271 Ghosh, Suvankar; Troutt, Marvin D.; Thornton, John H.; Offodile, O. Felix 1 2010 An empirical method for assessing the research relevance gap. Zbl 1175.90271 Ghosh, Suvankar; Troutt, Marvin D.; Thornton, John H.; Offodile, O. Felix 1 2010 Modelling and solving temporal reasoning as propositional satisfiability. Zbl 1184.68485 Pham, Duc Nghia; Thornton, John; Sattar, Abdul 6 2008 Combining adaptive and dynamic local search for satisfiability. Zbl 1159.68566 Pham, Duc Nghia; Thornton, John; Gretton, Charles; Sattar, Abdul 4 2008 AI 2007: Advances in artificial intelligence. 20th Australian joint conference on artificial intelligence, Gold Coast, Australia, December 2–6, 2007. Proceedings. Zbl 1134.68305 1 2007 Clause weighting local search for SAT. Zbl 1109.68106 Thornton, John 5 2005 Neighbourhood clause weight redistribution in local search for SAT. Zbl 1153.68050 Ishtaiwi, Abdelraouf; Thornton, John; Sattar, Abdul; Pham, Duc Nghia 2 2005 A local search approach to modelling and solving interval algebra problems. Zbl 1085.68154 Thornton, J.; Beaumont, M.; Sattar, A.; Maher, Michael 2 2004 A two level local search for MAX-SAT problems with hard and soft constraints. Zbl 1032.68753 Thornton, John; Bain, Stuart; Sattar, Abdul; Pham, Duc Nghia 6 2002 Towards fewer parameters for SAT clause weighting algorithms. Zbl 1032.68754 Thornton, John; Pullan, Wayne; Terry, Justin 1 2002 Recursive algorithm for the fundamental group inverse matrix of a Markov chain from an explicit formula. Zbl 0990.60069 Sonin, Isaac; Thornton, John 8 2001 Tariff endogeneity: Evidence from 19th century Europe. Zbl 0896.90070 Thornton, John; Molyneux, Philip 1 1997 Cointegration, causality and export-led growth in Mexico, 1895-1992. Zbl 0875.90075 Thornton, John 2 1996 Cited by 3 Authors 1 Croux, Christophe 1 Gelper, Sarah 1 Wilms, Ines Cited in 1 Serial 1 European Journal of Operational Research Cited in 1 Field 1 Statistics (62-XX) Citations by Year