7 citations · 8 across the 5 of their papers we have counts for
1 paper · 1 filter
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti +1
Designing algorithms capable of efficiently constructing minimal models of CNFs is an important task in AI. This paper provides new results along this research line and presents ne…