Henning Schnoor

Institute for Computer Science Christian-Albrechts-Universität zu Kiel Kiel , Germany

1 paper in the IJCAI proceedings

IJCAI 2011

Minimization for Generalized Boolean Formulas

with Edith Hemaspaandra

doi:10.5591/978-1-57735-516-8/IJCAI11-102

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings