Ingo Pill, Thomas Quaritsch. Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. In Luc De Raedt, Christian Bessière, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, Peter J. F. Lucas, editors, ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012. Volume 242 of Frontiers in Artificial Intelligence and Applications, pages 648-653, IOS Press, 2012. [doi]
Abstract is missing.