Original language | English |
---|---|
Publication status | Published - 30 Sept 2009 |
Event | SAT 2009 Competitive Events Booklet - Proceedings of the 2009 International SAT Competition, Twelfth International Conference on Theory and Applications of Satisfiability Testing - Duration: 30 Sept 2009 → … |
Conference
Conference | SAT 2009 Competitive Events Booklet - Proceedings of the 2009 International SAT Competition, Twelfth International Conference on Theory and Applications of Satisfiability Testing |
---|---|
Period | 30/09/09 → … |