Browsing by Author Slaney, John K
Showing results 17 to 36 of 37
Incremental Lower Bounds for Additive Cost Planning Problems
Author(s) | Haslum, Patrik; Slaney, John K; Thiebaux, Sylvie |
---|---|
Type | Conference paper |
Date Published | 2011 |
Date Created | June 11-16 2011 |
Is There a Constrainedness Knife-edge?
Author(s) | Slaney, John K |
---|---|
Type | Conference paper |
Date Published | 2000 |
Date Created | August 20 2000 |
Lookahead saturation with restriction for SAT
Author(s) | Anbulagan, Anbu; Slaney, John K |
---|---|
Type | Conference paper |
Date Published | 2005 |
Date Created | October 1-5 2005 |
Minimal Landmarks for Optimal Delete-Free Planning
Author(s) | Haslum, Patrik; Slaney, John K; Thiebaux, Sylvie |
---|---|
Type | Conference paper |
Date Published | 2012 |
Date Created | June 25-29 2012 |
More proofs of an axiom of Lukasiewicz
Author(s) | Slaney, John K |
---|---|
Type | Journal article |
Date Published | 2002 |
Date Created | - |
Multiple preprocessing for systematic SAT solvers
Author(s) | Anbulagan, Anbu; Slaney, John K |
---|---|
Type | Conference paper |
Date Published | 2006 |
Date Created | November 12-17 2006 |
Old resolution meets modern SLS
Author(s) | Anbulagan, Anbu; Pham, Duc Nghia; Slaney, John K, et al |
---|---|
Type | Conference paper |
Date Published | 2005 |
Date Created | July 9 2005 |
On the Ternary Relation and Conditionality
Author(s) | Beall, J; Brady, Ross; Dunn, J. Michael, et al |
---|---|
Type | Journal article |
Date Published | 2012 |
Date Created | - |
Planning with MIP for Supply Restoration in Power Distribution Systems
Author(s) | Thiebaux, Sylvie; Coffrin, Carleton; Hijazi, Hassan, et al |
---|---|
Type | Conference paper |
Date Published | 2013 |
Date Created | August 3-9 2013 |
Relevant logic and paraconsistency
Author(s) | Slaney, John K |
---|---|
Type | Book chapter |
Date Published | 2004 |
Date Created | - |
Semantically guiding a first-order theorem prover with a soft model
Author(s) | Binas, Arnold; Slaney, John K |
---|---|
Type | Conference paper |
Date Published | 2004 |
Date Created | July 25 2004 |
Semipositive LTL with an uninterpreted past operator
Author(s) | Slaney, John K |
---|---|
Type | Journal article |
Date Published | 2005 |
Date Created | - |
Set-theoretic duality: A fundamental feature of combinatorial optimisation
Author(s) | Slaney, John K |
---|---|
Type | Conference paper |
Date Published | 2014 |
Date Created | August 18-22 2014 |
Solving power supply restoration problems with planning via symbolic model checking
Author(s) | Bertoli, Piergiorgio; Cimatti, Alessandro; Slaney, John K, et al |
---|---|
Type | Conference paper |
Date Published | 2002 |
Date Created | July 21 2002 |
System Description: SCOTT-5
Author(s) | Hodgson, K.; Slaney, John K |
---|---|
Type | Conference paper |
Date Published | 2001 |
Date Created | June 18 2001 |
The backbone of the travelling salesperson
Author(s) | Kilby, Philip; Slaney, John K; Walsh, Toby |
---|---|
Type | Conference paper |
Date Published | 2005 |
Date Created | 30 July - 5 Augusut 2005 |
The G12 project: mapping solver independent models to efficient solutions
Author(s) | Stuckey, Peter J; Garcia de la Banda, Maria; Maher, Michael, et al |
---|---|
Type | Conference paper |
Date Published | 2005 |
Date Created | October 1-5 2005 |
The One-Variable Fragment of T→
Author(s) | Slaney, John K; Walker, Edward |
---|---|
Type | Journal article |
Date Published | 2013 |
Date Created | - |
Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness
Author(s) | Anbulagan, Anbu; Slaney, John K |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | November 2-5 2009 |
TPTP, CASC and the development of a semantically guided theorem prover
Author(s) | Hodgson, K.; Slaney, John K |
---|---|
Type | Journal article |
Date Published | 2002 |
Date Created | - |
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator