Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing

Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing

Bibliographic Details
Main Authors: Marques-Silva, Joao (Author), Sakallah, Karem (Author), Lynce, Ines (Author)
Format: Article
Language:English
Published: 2007.
Subjects:
Article
Online Access:Get fulltext

Internet

Get fulltext

Similar Items