Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A survey on knowledge compilation
AI Communications
Knowledge compilation using theory prime implicates
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A new algorithm for computing theory prime implicates compilations
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
| Hi-index | 5.23 |