RC2: an Efficient MaxSAT Solver

Journal on Satisfiability, Boolean Modeling and Computation ◽

10.3233/sat190116 ◽

2019 ◽

Vol 11 (1) ◽

pp. 53-64 ◽

Author(s):

Alexey Ignatiev ◽

Antonio Morgado ◽

Joao Marques-Silva

Download Full-text