Switch to: References

Add citations

You must login to add citations.
  1. On the complexity of inconsistency measurement.Matthias Thimm & Johannes P. Wallner - 2019 - Artificial Intelligence 275 (C):411-456.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17).Luca Pulina & Martina Seidl - 2019 - Artificial Intelligence 274 (C):224-248.
    Download  
     
    Export citation  
     
    Bookmark