Browse by Authors and Editors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 2.

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 Thu Mar 28 14:01:34 2024 UTC.