somewhere

Andrew Slater

Logic and Computation Program Computer Sciences Laboratory
NICTA Research School Informarion Sciences & Engineering
Australian National University , Acton 0200


research interests

I am interested in search, satisfiability, automated theorem proving and non-classical logics.

Primarily I am currently working on integration of solver technology for hybridisation as well as constraint visualisation within the G12 project. I am also involved with the Validating Network Semantics project.

some publications

  • Investigations into Satisfiability Search, PhD thesis, 2003. pdf, ps.gz, dvi

  • Modelling More Realistic SAT Problems, Andrew Slater, 15th Australian Joint Conference on Artificial Intelligence, LNAI 2557, © Springer-Verlag, 2002, pdf, ps.gz.   Code to generate clustered 3SAT problems is available: clusgen.c   It also generates regular random 3-SAT problems. See the code for further details. The benchmarks used in the SAT2003 competition are included in clustersSAT2003.tar.gz

  • Predictive Toxicology using a Decision-tree Learner, K.S. Ng, J.W. Lloyd, A.W. Slater, The 2000-1 Predictive Toxicology Challenge Workshop, 5th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD-01), 2001, pdf, ps.gz

  • System Description: CardTAP The First Theorem Prover on a Smart Card, Rajeev Gore, Joachim Posegga, Andrew Slater, Harald Vogt, Proceedings of the International Conference on Automated Deduction, Lindau, LNAI 1421:47-50, Springer, 1998, pdf.   Long version: Cardtap: Automated theorem proving on a smart card, Andrew Slater, Rajeev Gore, Joachim Posegga, Harald Vogt, AI98: Proceedings of the Australian Joint Conference on Artificial Intelligence, LNAI 1502:239-248, Springer, 1998, pdf.   cardTAP web page and source

technical reports

  • Relevant Backtracking: Improved Intelligent Backtracking Using Relevance, Andrew Slater, 2007, pdf
  • Encoding Composite as a Satisfiability Problem, Andrew Slater, 2004, web
  • 'Visualisation of Satisfiability Problems using Connected Graphs', Andrew Slater, 2004, web
  • Formal Methods Applied To Electronic Voting Systems, Pietro Abate, Jeremy Dawson, Rajeev Gore, Matt Gray, Michael Norrish, Andrew Slater, 2003, web

links