Four flavors of entailment

DOI10.1007/978-3-030-51825-7_5OpenAlexW3040050880MaRDI QIDQ2661334

Sibylle Möhle, Armin Biere, Roberto Sebastiani

Publication date: 7 April 2021

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

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 (2)

Enhancing SMT-based weighted model integration by structure awareness ⋮ An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL

This page was built for publication: Four flavors of entailment