MPG.eBooks - Search Results - "WBO"

Search alternatives:
wbo » wybo

Cover Image

1

Theory and Applications of Satisfiability Testing - SAT 2014 : 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 201...

Published 2014

Springer International Publishing

Table of Contents: “... Sharing -- Open-WBO: A Modular MaxSAT Solver...”