Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation.

Jarkko Savela Emilia Oikarinen Matti Järvisalo

Published in: LPAR (2020)

Keyphrases

boolean satisfiability
sat solvers
probabilistic planning
sat solving
branch and bound algorithm
sat problem
randomly generated
max sat
maximum satisfiability
boolean optimization
integer linear programming
symmetry breaking
branch and bound