next up previous
Next: Brief description

CADE 2003 Tutorial:
SAT Beyond Propositional Satisfiability

Roberto Sebastiani

Miami Beach, July 28th 2003





Roberto Sebastiani 2003-03-25