\(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT
From MaRDI portal
Publication:2009185
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
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68R07: Computational aspects of satisfiability
Uses Software