Search Results - Burnett, Andrew

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Automated Heuristic Generation By Intelligent Search

    Automated Heuristic Generation By Intelligent Search by Burnett, Andrew

    Published 2021
    Get full text
  2. 2
    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
  3. 3
    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: