21 search results - page 5 / 5 » Exploiting subproblem optimization in SAT-based MaxSAT algor... |
151
Voted
FM
2008
Springer
15 years 4 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...