subject:"\[Caml\-list\] SAT 2012\: Final Call for Papers"

[Caml-list] SAT 2012: Final Call for Papers

2012-02-02 Thread Roberto Sebastiani

[ We apologize if you receive multiple copies of this CFP. ] - 15th International Conference on THEORY AND APPLICATIONS OF SATISFIABILITY TESTING --- SAT 2012 ---

[Caml-list] SAT 2012: Final Call for Papers

2012-02-02 Thread Roberto Sebastiani

[ We apologize if you receive multiple copies of this CFP. ] - 15th International Conference on THEORY AND APPLICATIONS OF SATISFIABILITY TESTING --- SAT 2012 ---