John Slaney

Publication Activity (10 Years)

Years Active: 1989-2018
Publications (10 Years): 7

Top Topics

Combinatorial Optimisation

Universally Quantified

Conflict Resolution

Top Venues

J. Autom. Reason.

J. Philos. Log.

Publications

John Slaney, Bruno Woltzenlogel Paleo
Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. J. Autom. Reason. 60 (2) (2018)
John Slaney, Bruno Woltzenlogel Paleo
Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. J. Autom. Reason. 60 (4) (2018)
Daniyar Itegulov, John Slaney, Bruno Woltzenlogel Paleo
Scavenger 0.1: A Theorem Prover Based on Conflict Resolution. CADE (2017)
John Slaney
Logic for Fun: An Online Tool for Logical Modelling. FLAP 4 (1) (2017)
Daniyar Itegulov, John Slaney, Bruno Woltzenlogel Paleo
Scavenger 0.1: A Theorem Prover Based on Conflict Resolution. CoRR (2017)
John Slaney, Bruno Woltzenlogel Paleo
Conflict Resolution: a First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. CoRR (2016)
John Slaney
Logic considered fun. CoRR (2015)
John Slaney
Set-theoretic duality: A fundamental feature of combinatorial optimisation. ECAI (2014)
John Slaney, Edward Walker
. J. Philos. Log. 43 (5) (2014)
Peter Baumgartner, John Slaney
Constraint Modelling: A Challenge for First Order Automated Reasoning. FTP (2009)
John Slaney
Solution to a problem of Ono and Komori. J. Philos. Log. 18 (1) (1989)