0 Citations
0 Reads
A Modular Approach to MaxSAT Modulo Theories
Alessandro Cimatti
Alberto Griggio
Bastiaan Joost Schaafsma
Roberto Sebastiani
Theory and Applications of Satisfiability Testing – SAT 2013, Springer Berlin Heidelberg, pp 150-165, 2013
Summary
--
Keywords
--
Institution
--
Select Groups
Select Contacts
swap_vert Order by date
Order by date Order by name