A SAT-based Resolution of Lam's Problem.

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

Published in: CoRR (2020)

Keyphrases

high resolution
sat solvers
bounded model checking
answer set programming
clause learning
answer sets
ai planning
higher resolution
genetic algorithm
consequence finding
constraint solver
boolean satisfiability