Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
September 2004Copyright 2003 National ICT Australia Limited1 Propositional Satisfiability
 

Summary: September 2004Copyright 2003 National ICT Australia Limited1
Propositional Satisfiability
(SAT)
Anbulagan
Anbulagan@nicta.com.au
Logic and Computation Program
Canberra Research Laboratory
National ICT Australia (NICTA) Limited
Presented at ANU for NICTA's Overview Course Sept, 2004
September 2004Copyright 2003 National ICT Australia Limited2
Roadmap
Introduction to SAT
Problems in CNF formula
Basic notation and definitions
Phase transition
Backbone and backdoor variables
DPLL procedure
Algorithms for SAT
Complete methods: Satz, Surfsat
Backjumping and Learning

  

Source: Anbulagan, A. - National ICT Australia & Computer Sciences Laboratory, Australian National University

 

Collections: Computer Technologies and Information Sciences