×
Author ID: thornton.john-h Recent zbMATH articles by "Thornton, John H."
Published as: Thornton, John H.

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 in 1 Field

1 Statistics (62-XX)

Citations by Year