Showing 1 - 1 results of 1 for search 'Marques-Silva, Joao', query time: 0.02s
Refine Results
-
1
Theory and Applications of Satisfiability Testing - SAT 2007 [electronic resource] : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007: Proceedings / by SAT 2007 (2007 : Lisbon, Portugal), Marques-Silva, Joao, Sakallah, Karem A., SpringerLink (Online service)
Published 2007