DRMaxSAT with MaxHS: first contact

DOI10.1007/978-3-030-24258-9_17zbMath1441.68232OpenAlexW2955132589MaRDI QIDQ2181935

Maria Luisa Bonet, Antonio Morgado, Alexey Ignatiev, Samuel R. Buss, João P. Marques-Silva

Publication date: 20 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-24258-9_17

Mathematics Subject Classification ID

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

Related Items (3)

Learning a propagation complete formula ⋮ Bounds on the size of PC and URC formulas ⋮ Propositional proof systems based on maximum satisfiability

This page was built for publication: DRMaxSAT with MaxHS: first contact