3 works on record
Theory And Applications Of Satisfiability Testing Sat 2012 15th International Conference Trento Italy June 1720 2012 Proceedings
Automated Reasoning
Frontiers of Combining Systems