Switch to: Citations

Add references

You must login to add references.
  1. SATenstein: Automatically building local search SAT solvers from components.Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos & Kevin Leyton-Brown - 2016 - Artificial Intelligence 232 (C):20-42.
    Download  
     
    Export citation  
     
    Bookmark   1 citation