Next:
Brief description
CADE 2003 Tutorial:
SAT Beyond Propositional Satisfiability
Roberto Sebastiani
Miami Beach, July 28th 2003
Brief description
Detailed outline
Potential target audience
Motivations
Roberto Sebastiani's Brief Resume
Bibliography
About this document ...
Roberto Sebastiani 2003-03-25
