Switch to: Citations

Add references

You must login to add references.
  1. Random constraint satisfaction: Easy generation of hard (satisfiable) instances.Ke Xu, Frédéric Boussemart, Fred Hemery & Christophe Lecoutre - 2007 - Artificial Intelligence 171 (8-9):514-534.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Towards a characterisation of the behaviour of stochastic local search algorithms for SAT.Holger H. Hoos & Thomas Stützle - 1999 - Artificial Intelligence 112 (1-2):213-232.
    Download  
     
    Export citation  
     
    Bookmark   2 citations