Switch to: References

Citations of:

The Depth of Resolution Proofs

Studia Logica 99 (1-3):349-364 (2011)

Add citations

You must login to add citations.
  1. Resolution over linear equations modulo two.Dmitry Itsykson & Dmitry Sokolov - 2020 - Annals of Pure and Applied Logic 171 (1):102722.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Complexity issues related to propagation completeness.Martin Babka, Tomáš Balyo, Ondřej Čepek, Štefan Gurský, Petr Kučera & Václav Vlček - 2013 - Artificial Intelligence 203 (C):19-34.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•