Towards SAT-Based Learning of NNF Networks.

Paul Seip, Florian Beck, Johannes Frnkranz, Clemens Hofstadler, Peter Pfeiffer, Martina Seidl, Robert Peharz, Stefan Szeider

Browse the full SYNASC paper archive.