ParaGnosis: A Tool for Parallel Knowledge Compilation

Lecture notes in computer science, pp. 22–37

Authors 3

1. Giso H. Dal corresponding

   University of Twente

   Affiliation as printed

   Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, Enschede, The Netherlands

2. Alfons Laarman Aachen Leiden Institute of Advanced Computer Science

   Leiden University

   Affiliation as printed

   Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands

3. Peter Lucas

   University of Twente

   Affiliation as printed

   Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, Enschede, The Netherlands