Towards SAT-Based Learning of NNF Networks

Paul Seip, Florian Beck, Johannes Fürnkranz, Clemens Hofstadler, Peter Pfeiffer, Martina Seidl, Robert Peharz, Stefan Szeider
January 2025
PDF bib Project DOI

Abstract

Full Citation:

Paul Seip, Florian Beck, Johannes Fürnkranz, Clemens Hofstadler, Peter Pfeiffer, Martina Seidl, Robert Peharz, Stefan Szeider. Towards SAT-Based Learning of NNF Networks. 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2025, Timisoara, Romania, September 22-25, 2025, pages 1–5, 2025, IEEE.

Type
Conference Paper
Coe
Stefan Szeider
Stefan Szeider
Head of Group

Stefan Szeider is a Professor at the Algorithms and Complexity Group.