Incremental encoding of pseudo-Boolean goal functions based on comparator networks

DOI10.1007/978-3-030-51825-7_36OpenAlexW3039293627MaRDI QIDQ2661378

Marek Piotrów, Michał Karpiński

Publication date: 7 April 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-51825-7_36

zbMATH Keywords

comparator networkspseudo-Boolean constraintsSAT-solversCNF encodingincremental encoding

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)

Exact and approximate determination of the Pareto front using minimal correction subsets

This page was built for publication: Incremental encoding of pseudo-Boolean goal functions based on comparator networks