Journal of the ACM (JACM)
Learning to Reason with a Restricted View
Machine Learning
Knowledge compilation = query rewriting + view synthesis
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Preprocessing of intractable problems
Information and Computation
A survey on knowledge compilation
AI Communications
Space efficiency of propositional knowledge representation formalisms
Journal of Artificial Intelligence Research
Hi-index | 0.01 |