A SAT-based Resolution of Lam's Problem.

Curtis Bright Kevin K. H. Cheung Brett Stevens Ilias S. Kotsireas Vijay Ganesh

Published in: AAAI (2021)

Keyphrases

answer set programming
bounded model checking
high resolution
real time
data sets
genetic algorithm
low resolution
answer sets
constraint solver
conflict detection
ai planning
consequence finding
logic programs
sat solvers
image resolution
version space