Search alternatives:
swash » slash, swath, smash
sat » salt, satz
Cover Image
Read Now

1
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Techniques -- Co-evolution -- A Backbone-Based Co-evolutionary Heuristic for Partial MAX-SAT -- Analysing Co...”
Cover Image
Read Now

2
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... of Grammatical Evolution -- Optimizing the Initialization of Dynamic Decision Heuristics in DPLL SAT Solvers...”
Cover Image
Read Now

3
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Controllers Using Genetic Programming -- Generating SAT Local-Search Heuristics Using a GP Hyper-Heuristic...”
Cover Image
Read Now

4
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- SAT, Local Search Dynamics and Density of States -- A Multiobjective Evolutionary Algorithm for Car...”