Subsumed Label Elimination for Maximum Satisfiability

DOI10.3233/978-1-61499-672-9-630zbMath1403.68235OpenAlexW2507645766MaRDI QIDQ4576195

Jeremias Berg, Matti Järvisalo, Paul Saikko

Publication date: 12 July 2018

Full work available at URL: https://doi.org/10.3233/978-1-61499-672-9-630

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Clause redundancy and preprocessing in maximum satisfiability