Switch to: References

Add citations

You must login to add citations.
  1. An incremental algorithm for generating all minimal models.Rachel Ben-Eliyahu – Zohary - 2005 - Artificial Intelligence 169 (1):1-22.
    Direct download (2 more)  
     
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • New models for generating hard random boolean formulas and disjunctive logic programs.Giovanni Amendola, Francesco Ricca & Miroslaw Truszczynski - 2020 - Artificial Intelligence 279 (C):103185.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•