SAT-Based Local Search for Plane Subgraph Partitions (CG Challenge).

André Schidler

Published in: SoCG (2022)

Keyphrases

search space
search algorithm
genetic algorithm
combinatorial optimization
answer set programming
three dimensional
tabu search
sat solvers
memetic algorithm
bounded model checking
optimal solution
np hard
simulated annealing
version space
orders of magnitude
search procedure