Switch to: Citations

Add references

You must login to add references.
  1. SAT Race 2015.Tomáš Balyo, Armin Biere, Markus Iser & Carsten Sinz - 2016 - Artificial Intelligence 241 (C):45-65.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Overview and analysis of the SAT Challenge 2012 solver competition.Adrian Balint, Anton Belov, Matti Järvisalo & Carsten Sinz - 2015 - Artificial Intelligence 223 (C):120-155.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Clause vivification by unit propagation in CDCL SAT solvers.Chu-Min Li, Fan Xiao, Mao Luo, Felip Manyà, Zhipeng Lü & Yu Li - 2020 - Artificial Intelligence 279 (C):103197.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Planning as satisfiability: parallel plans and algorithms for plan search.Jussi Rintanen, Keijo Heljanko & Ilkka Niemelä - 2006 - Artificial Intelligence 170 (12-13):1031-1080.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Recent Developments.Ashley Pearson - 2019 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 32 (4):1017-1018.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation