Browse by Authors and Editors

[up] Up a level
Group by: Item Type | Date | No Grouping
Jump to: Conference or Workshop Item
Number of items: 2.

Conference or Workshop Item

Burnett, Andrew W. and Parkes, Andrew J. (2017) Exploring the landscape of the space of heuristics for local search in SAT. In: IEEE Congress on Evolutionary Computation 2017, 5-8 June 2017, Donostia, San Sebastián, Spain.

Burnett, Andrew W. and Parkes, Andrew J. (2016) Systematic search for local-search SAT heuristics. In: 6th International Conference on Metaheuristics and Nature Inspired Computing (META 2016), 27-31 Oct 2016, Marrakech, Morocco.

This list was generated on Sat Dec 21 16:33:54 2024 UTC.