Theory revision with queries: horn, read-once, and parity formulas
Artificial Intelligence
On approximate horn formula minimization
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming
Hi-index | 0.00 |