Search Results - Burnett, Andrew W.

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Systematic search for local-search SAT heuristics

    Systematic search for local-search SAT heuristics by Burnett, Andrew W., Parkes, Andrew J.

    Published 2016
    Get full text
  2. 2
    Exploring the landscape of the space of heuristics for local search in SAT

    Exploring the landscape of the space of heuristics for local search in SAT by Burnett, Andrew W., Parkes, Andrew J.

    Published 2017
    Get full text

Search Tools: