Login / Signup
Generating Difficult CNF Instances in Unexplored Constrainedness Regions.
Guillaume Escamocher
Barry O'Sullivan
Steven David Prestwich
Published in:
ACM J. Exp. Algorithmics (2020)
Keyphrases
</>
randomly generated
genetic algorithm
boolean functions
neural network
spatial relationships
generation process
optimal solution
evolutionary algorithm
np complete
parameter space
error prone
image pixels
knowledge compilation
sat instances