Theory And Applications Of Satisfiability Testing Sat 2012 15th International Conference Trento Italy June 1720 2012 Proceedings
Publisher: Springer
Published: 2012
ISBN-13: 9783642316111