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