Solving the Round Robin Problem Using Propositional Logic.
Ramón BéjarFelip ManyàPublished in: AAAI/IAAI (2000)
Keyphrases
- propositional logic
- round robin
- belief revision
- load balancing
- solving hard
- first order logic
- quantified boolean formulae
- possibilistic logic
- lattice theory
- davis putnam
- belief change
- horn logic
- satisfiability testing
- digital libraries
- stochastic local search
- timetabling problem
- np complete
- evolutionary algorithm
- machine learning