Cadiback: Extracting backbones with CaDiCaL

DOI10.4230/LIPICS.SAT.2023.3MaRDI QIDQ6643075zbMATH OpenFDO

Authors Armin Biere, Nils Froleyks, Wenxi Wang

Publication date 26 November 2024

Full work available at URL https://doi.org/10.4230/LIPICS.SAT.2023.3

zbMATH Keywords

backboneincremental solvingsatisfiability

Mathematics Subject Classification ID

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

Cited in

(3)

• Finding connections via satisfiability solving
• SAT solving for variants of first-order subsumption
• Extended resolution clause learning via dual implication points

This page was built for publication: Cadiback: Extracting backbones with CaDiCaL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6643075)