Switch to: References

Add citations

You must login to add citations.
  1. On the tractability of minimal model computation for some CNF theories.Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti & Luigi Palopoli - 2014 - Artificial Intelligence 210 (C):56-77.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Graph-based construction of minimal models.Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti & Luigi Palopoli - 2022 - Artificial Intelligence 313 (C):103754.
    Download  
     
    Export citation  
     
    Bookmark