Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Slater, Andrew - National ICT Australia & Computer Sciences Laboratory, Australian National University
Investigations into Satisfiability Andrew Slater
cardTAP: Automated Deduction on a Smart Card Andrew Slater1 , Rajeev Gore1;2 , Joachim Posegga3, Harald Vogt3
Modelling More Realistic SAT Problems Andrew Slater
Modelling More Realistic SAT Problems # Andrew Slater
System Description: cardTAP : The First Theorem Prover on a Smart Card
Relevant Backtracking: Improved Intelligent Backtracking Using Relevance
Investigations into Satisfiability Andrew Slater
Investigations into Satisfiability Search
Predictive Toxicology using a Decision-tree Learner K.S. Ng, J.W. Lloyd and A.W. Slater
Predictive Toxicology using a Decisiontree Learner K.S. Ng, J.W. Lloyd and A.W. Slater
