Switch to: References

Add citations

You must login to add citations.
  1. The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17).Luca Pulina & Martina Seidl - 2019 - Artificial Intelligence 274 (C):224-248.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving.Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner & Stefan Woltran - 2022 - Artificial Intelligence 307 (C):103697.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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  
    		•