Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing.

Pei Huang Minghao Liu Cunjing Ge Feifei Ma Jian Zhang

Published in: ISSAC (2019)

Keyphrases

satisfiability testing
propositional logic
tie breaking
model counting
databases
real world
complementarity problems
real time
genetic algorithm
decision making
website
bayesian networks
first order logic
design principles
design space