Separating incremental and non-incremental bottom-up compilation

DOI10.4230/LIPICS.SAT.2023.7MaRDI QIDQ6643079zbMATH OpenFDO

Authors Alexis de Colnet

Publication date 26 November 2024

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

zbMATH Keywords

bottom-up compilationDNNFknowledge compilationOBDD

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)

This page was built for publication: Separating incremental and non-incremental bottom-up compilation

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