| 2017 | CADE | Scavenger 0.1: A Theorem Prover Based on Conflict Resolution. | Daniyar Itegulov, John K. Slaney, Bruno Woltzenlogel Paleo |
| 2014 | ECAI | Set-theoretic duality: A fundamental feature of combinatorial optimisation. | John K. Slaney |
| 2013 | IJCAI | Planning with MIP for Supply Restoration in Power Distribution Systems. | Sylvie Thibaux, Carleton Coffrin, Hassan L. Hijazi, John K. Slaney |
| 2010 | CP | An Integrated Modelling, Debugging, and Visualisation Environment for G12. | Andreas Bauer, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John K. Slaney |
| 2009 | ICTAI | Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness. | Anbulagan, John K. Slaney |
| 2008 | CADE | Constraint Modelling: A Challenge for First Order Automated Reasoning (Invited Talk). | John K. Slaney |
| 2006 | AAAI | Estimating Search Tree Size. | Philip Kilby, John K. Slaney, Sylvie Thibaux, Toby Walsh |
| 2005 | AAAI | Old Resolution Meets Modern SLS. | Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar |
| 2005 | AAAI | Backbones and Backdoors in Satisfiability. | Philip Kilby, John K. Slaney, Sylvie Thibaux, Toby Walsh |
| 2005 | CP | Lookahead Saturation with Restriction for SAT. | Anbulagan, John K. Slaney |
| 2005 | CP | The G12 Project: Mapping Solver Independent Models to Efficient Solutions. | Peter J. Stuckey, Maria J. Garca de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh |
| 2005 | ICLP | The G12 Project: Mapping Solver Independent Models to Efficient Solutions. | Peter J. Stuckey, Maria J. Garca de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh |
| 2005 | IJCAI | The Backbone of the Travelling Salesperson. | Philip Kilby, John K. Slaney, Toby Walsh |
| 2004 | AAAI | Semantically Guiding a First-Order Theorem Prover with a Soft Model. | Arnold Binas, John K. Slaney |
| 2004 | ECAI | Guiding a Theorem Prover with Soft Constraints. | John K. Slaney, Arnold Binas, David Price |
| 2002 | ECAI | Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. | Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thibaux |
| 2002 | UAI | Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards. | Sylvie Thibaux, Froduald Kabanza, John K. Slaney |
| 2001 | CADE | System Description: SCOTT-5. | Kahlil Hodgson, John K. Slaney |
| 2001 | IJCAI | Backbones in Optimization and Approximation. | John K. Slaney, Toby Walsh |
| 2000 | ECAI | Is there a Constaintness Knife-edge? | John K. Slaney |
| 2000 | ECAI | Estimating the Hardness of Optimisation. | John K. Slaney, Sylvie Thibaux, Philip Kilby |
| 1998 | ECAI | On the Hardness of Decision and Optimisation Problems. | John K. Slaney, Sylvie Thibaux |
| 1997 | CADE | Minlog: A Minimal Logic Theorem Prover. | John K. Slaney |
| 1997 | ECSQARU | Logic for Two: The Semantics of Distributive Substructural Logics. | John K. Slaney, Robert K. Meyer |
| 1996 | AAAI | Linear Time Near-Optimal Planning in the Blocks World. | John K. Slaney, Sylvie Thibaux |
| 1994 | CADE | The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure. | John K. Slaney |
| 1994 | CADE | FINDER: Finite Domain Enumerator - System Description. | John K. Slaney |
| 1994 | CADE | SCOTT: Semantically Constrained Otter System Description. | John K. Slaney, Ewing L. Lusk, William McCune |
| 1993 | IJCAI | Automatic Generation of Some Results in Finite Algebra. | Masayuki Fujita, John K. Slaney, Frank Bennett |
| 1993 | IJCAI | SCOTT: A Model-Guided Theorem Prover. | John K. Slaney |
| 1992 | CADE | ROO: A Parallel Theorem Prover. | Ewing L. Lusk, William McCune, John K. Slaney |
| 1991 | IJCAI | The Implications of Paraconsistency. | John K. Slaney |
| 1990 | CADE | Tutorial on Computing Models of Propositional Logics. | Paul Pritchard, John K. Slaney |
| 1990 | CADE | Parallelizing the Closure Computation in Automated Deduction. | John K. Slaney, Ewing L. Lusk |