Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Browsing by Author Slaney, John K

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Or enter first few letters:  
Showing results 15 to 34 of 37

Generating loops with the inverse property

Author(s)Slaney, John K; Ali, Asif
TypeConference paper
Date Published2008
Date CreatedJuly 27 2008

Guiding a theorem prover with soft constraints

Author(s)Slaney, John K; Binas, Arnold; Price, David
TypeConference paper
Date Published2004
Date CreatedAugust 22-27 2004
01_Haslum_Incremental_Lower_Bounds_for_2011.pdf.jpg

Incremental Lower Bounds for Additive Cost Planning Problems

Author(s)Haslum, Patrik; Slaney, John K; Thiebaux, Sylvie
TypeConference paper
Date Published2011
Date CreatedJune 11-16 2011

Is There a Constrainedness Knife-edge?

Author(s)Slaney, John K
TypeConference paper
Date Published2000
Date CreatedAugust 20 2000

Lookahead saturation with restriction for SAT

Author(s)Anbulagan, Anbu; Slaney, John K
TypeConference paper
Date Published2005
Date CreatedOctober 1-5 2005

Minimal Landmarks for Optimal Delete-Free Planning

Author(s)Haslum, Patrik; Slaney, John K; Thiebaux, Sylvie
TypeConference paper
Date Published2012
Date CreatedJune 25-29 2012

More proofs of an axiom of Lukasiewicz

Author(s)Slaney, John K
TypeJournal article
Date Published2002
Date Created-

Multiple preprocessing for systematic SAT solvers

Author(s)Anbulagan, Anbu; Slaney, John K
TypeConference paper
Date Published2006
Date CreatedNovember 12-17 2006

Old resolution meets modern SLS

Author(s)Anbulagan, Anbu; Pham, Duc Nghia; Slaney, John K, et al
TypeConference paper
Date Published2005
Date CreatedJuly 9 2005

On the Ternary Relation and Conditionality

Author(s)Beall, J; Brady, Ross; Dunn, J. Michael, et al
TypeJournal article
Date Published2012
Date Created-

Planning with MIP for Supply Restoration in Power Distribution Systems

Author(s)Thiebaux, Sylvie; Coffrin, Carleton; Hijazi, Hassan, et al
TypeConference paper
Date Published2013
Date CreatedAugust 3-9 2013

Relevant logic and paraconsistency

Author(s)Slaney, John K
TypeBook chapter
Date Published2004
Date Created-

Semantically guiding a first-order theorem prover with a soft model

Author(s)Binas, Arnold; Slaney, John K
TypeConference paper
Date Published2004
Date CreatedJuly 25 2004

Semipositive LTL with an uninterpreted past operator

Author(s)Slaney, John K
TypeJournal article
Date Published2005
Date Created-

Set-theoretic duality: A fundamental feature of combinatorial optimisation

Author(s)Slaney, John K
TypeConference paper
Date Published2014
Date CreatedAugust 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
TypeConference paper
Date Published2002
Date CreatedJuly 21 2002

System Description: SCOTT-5

Author(s)Hodgson, K.; Slaney, John K
TypeConference paper
Date Published2001
Date CreatedJune 18 2001

The backbone of the travelling salesperson

Author(s)Kilby, Philip; Slaney, John K; Walsh, Toby
TypeConference paper
Date Published2005
Date Created30 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
TypeConference paper
Date Published2005
Date CreatedOctober 1-5 2005
02_Slaney_The_One-Variable_Fragment_of_2013.pdf.jpg

The One-Variable Fragment of T→

Author(s)Slaney, John K; Walker, Edward
TypeJournal article
Date Published2013
Date Created-

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator