MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "John Thornton" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

19 documents found, showing 1 through 10. Next 10 →

ATOM

On the behavior and application of constraint weighting
by John Thornton, Abdul Sattar — 1999 — In Proceedings CP-99
…On the Behavior and Application of Constraint Weighting John Thornton 1 and Abdul Sattar 2 1…
Add To MetaCart

Recursive Algorithm for the Fundamental/Group Inverse Matrix of a Markov Chain from an Explicit Formula
by Isaac Sonin, John Thornton
… Formula Isaac Sonin and John Thornton Department of Mathematics UNC Charlotte, Charlotte NC, 28223…
Add To MetaCart

Dynamic constraint weighting for over-constrained problems
by John Thornton, Abdul Sattar — 1998 — In Proceedings of the Fifth Pacific Rim Conference on Artificial Intelligence (PRICAI-98
…Dynamic Constraint Weighting for Over-Constrained Problems John Thornton 1 and Abdul Sattar 2 1…
Cited by 2 (2 self) – Add To MetaCart

Nurse Rostering and Integer Programming Revisited
by John Thornton, Abdul Sattar — 1997 — in International Conference on Computational Intelligence and Multimedia
…Nurse Rostering and Integer Programming Revisited John Thornton School of Information Technology…
Cited by 2 (0 self) – Add To MetaCart

Tie breaking in clause weighting local search for sat
by Valnir Ferreira, John Thornton — In: 18th Australian Joint Conference on Artificial Intelligence
…Tie Breaking in Clause Weighting Local Search for SAT Valnir Ferreira Jr. and John Thornton…
Cited by 1 (0 self) – Add To MetaCart

Evolving Algorithms for Constraint Satisfaction
by Stuart Bain, John Thornton, Abdul Sattar — 2004
… the very motivation for using adaptive Stuart Bain and John Thornton and Abdul Sattar Institute…
Add To MetaCart

Evolving Variable-Ordering Heuristics for Constrained Optimisation
by Stuart Bain, John Thornton, Abdul Sattar — 2005 — In Principles and Practice of Constraint Programming-CP’05. LNCS No. 3709
…Evolving Variable-Ordering Heuristics for Constrained Optimisation Stuart Bain, John Thornton…
Cited by 1 (0 self) – Add To MetaCart

Towards fewer parameters for SAT clause weighting algorithms
by John Thornton, Wayne Pullan, Justin Terry — 2002 — In Proceedings of the Fifteenth Australian Joint Conference on Artificial Intelligence (AI’2002
…Towards Fewer Parameters for SAT Clause Weighting Algorithms John Thornton, Wayne Pullan…
Cited by 2 (2 self) – Add To MetaCart

An Efficient Method for Indexing Now-relative Bitemporal Data
by Bela Stantic, Sankalp Khanna, John Thornton — 2004 — In Proceeding of the 15th Australasian Database conference (ADC2004), Denidin, New Zealand
… John Thornton Institute for Integrated and Intelligent Systems Griffith University, Brisbane Australia…
Cited by 1 (1 self) – Add To MetaCart

Additive versus Multiplicative Clause Weighting for SAT
by John Thornton And, John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira — 2004 — In: Proceedings of 19th AAAI
…Additive versus Multiplicative Clause Weighting for SAT John Thornton and Duc Nghia Pham…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB