\(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT

DOI10.1007/s10601-018-9299-0zbMath1483.68244MaRDI QIDQ2009185

Aolong Zha, Miyuki Koshimura, Hiroshi Fujita

Publication date: 27 November 2019

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10601-018-9299-0

zbMATH Keywords

encoding; MaxSAT; modular arithmetic; pseudo-Boolean constraints

Mathematics Subject Classification ID

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

68R07: Computational aspects of satisfiability

Uses Software

• MiniSat
• Sat4j
• Glucose
• QMaxSAT
• MaxHS
• PySAT