Switch to: Citations

Add references

You must login to add references.
  1. Critical behavior in the computational cost of satisfiability testing.Bart Selman & Scott Kirkpatrick - 1996 - Artificial Intelligence 81 (1-2):273-295.
    Download  
     
    Export citation  
     
    Bookmark   4 citations