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  
  • On the complexity of inconsistency measurement.Matthias Thimm & Johannes P. Wallner - 2019 - Artificial Intelligence 275 (C):411-456.