Open AccessLower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation
Author(s) -
Alexis de Colnet,
Stefan Mengel
Publication year - 2022
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v36i5.20496
Subject(s) - computer science , top down and bottom up design , negation , class (philosophy) , function (biology) , inefficiency , programming language , constant (computer programming) , contrast (vision) , algorithm , theoretical computer science , artificial intelligence , evolutionary biology , microeconomics , economics , biology