Unifying reasoning and core-guided search for maximum satisfiability

DOI10.1007/978-3-030-19570-0_19OpenAlexW2944665351MaRDI QIDQ2296713

Jeremias Berg, Matti Järvisalo

Publication date: 18 February 2020

Full work available at URL: http://hdl.handle.net/10138/309138

zbMATH Keywords

maximum satisfiabilitypreprocessinginprocessingcore-guided reasoninginstance transformations

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items

Clause redundancy and preprocessing in maximum satisfiability