Solving MaxSAT with bit-vector optimization

DOI10.1007/978-3-319-94144-8_4OpenAlexW2810449204MaRDI QIDQ1656560

Alexander Nadel

Publication date: 10 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94144-8_4

Mathematics Subject Classification ID

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

Related Items (1)

Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT

Uses Software

• Chaff
• Sat4j

This page was built for publication: Solving MaxSAT with bit-vector optimization