Refine
Document Type
- Article (12)
- Doctoral Thesis (1)
- Postprint (1)
Language
- English (14)
Is part of the Bibliography
- yes (14) (remove)
Keywords
- Answer set programming (3)
- Answer Set Programming (ASP) (1)
- Constraint Answer Set Programming (CASP) (1)
- Constraint Programming (CP) (1)
- Course timetabling (1)
- Educational timetabling (1)
- Logic programming (1)
- Minimal perturbation problems (1)
- Multi-objective optimization (1)
- Nonmonotonic reasoning (1)
- SAT (1)
- Sat Modulo Theories (SMT) (1)
- algorithm (1)
- clause elimination (1)
- declarative problem solving (1)
- parallel execution (1)
- platypus (1)
- propositional satisfiability (1)
- search (1)
- solver (1)
- systems (1)