Switch to: References

Add citations

You must login to add citations.
  1. Towards NP – P via proof complexity and search.Samuel R. Buss - 2012 - Annals of Pure and Applied Logic 163 (7):906-917.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Resolution over linear equations modulo two.Dmitry Itsykson & Dmitry Sokolov - 2020 - Annals of Pure and Applied Logic 171 (1):102722.
    Download  
     
    Export citation  
     
    Bookmark