Publisher
Springer International Publishing
Reference34 articles.
1. Lecture Notes in Computer Science;C Ansótegui,2012
2. Lecture Notes in Computer Science;C Ansótegui,2009
3. Ansótegui, C., Bonet, M.L., Levy, J.: SAT-based MaxSAT algorithms. Artif. Intell. 196, 77–105 (2013)
4. Argelich, J., Li, C.M., Manyá, F., Planes, J.: MaxSAT Evaluations. http://www.maxsat.udl.cat/
5. Ausiello, G., et al.: Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties, 2nd edn. Springer-Verlag, Heidelberg (2003). https://doi.org/10.1007/978-3-642-58412-1