On weakening strategies for PB solvers

DOI10.1007/978-3-030-51825-7_23OpenAlexW3038570807MaRDI QIDQ2661358

Romain Wallon, Pierre Marquis, Daniel Le Berre

Publication date: 7 April 2021

Full work available at URL: https://arxiv.org/abs/2005.04466

zbMATH Keywords

cutting planesconstraint learningPB constraint

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Related Items (1)

On dedicated CDCL strategies for PB solvers

Uses Software

• Pueblo
• SATIRE
• Chaff
• Sat4j
• Open-WBO

This page was built for publication: On weakening strategies for PB solvers