Tractable Cover Compilations.

Yacine Boufkhad Éric Grégoire Pierre Marquis Bertrand Mazure Lakhdar Sais

Published in: IJCAI (1) (1997)

Keyphrases

prime implicates
computational complexity
np complete
normal form
neural network
data structure
modal logic
desirable properties
knowledge compilation
computationally tractable
search engine
computer vision
decision making
special case