H
Holger H. Hoos
4 works on record
Works
Theory and Applications of Satisfiability Testing (vol. # 3542)
Stochastic Local Search
Stochastic Local Search
Theory and Applications of Satisfiability Testing
Theory and Applications of Satisfiability Testing
Stochastic Local Search - Methods, Models, Applications
Stochastic Local Search - Methods, Models, Applications