Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search

By Emir Demirovi'c, Peter James Stuckey. 2019

17 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications

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 Computer Networks and Communications

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): “We use the MaxSAT solver Loandra [ Berg et al. , 2019; Demirovi´c and Stuckey, 2019 ] as RC2 did not scale as well on the datasets we used.”