Core-Boosted Linear Search for Incomplete MaxSAT

By J. Berg, Emir Demirovi'c, Peter James Stuckey. 2019

61 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Emmanuel Hebrard
2. Hao Hu
3. Marie-José Huguet
4. Mohamed Siala
5. Carlos Eduardo Pedreira
6. Vinícius G. Costa

In Computational Theory and Mathematics

1. Emmanuel Hebrard
2. Hao Hu
3. Marie-José Huguet
4. Mohamed Siala

Citations in the corpus

• Learning Optimal Decision Trees with MaxSAT and its Integration in AdaBoost (2020, positive): “In addition, when using state-of-the-art MaxSAT solvers [Berg et al. , 2019], we observe that we can handle much larger formulas.”