Comments on: ``An overview of curriculum-based course timetabling

DOI10.1007/s11750-015-0363-2zbMath1319.90024OpenAlexW2066646348MaRDI QIDQ5971107

Roberto Asín

Publication date: 27 July 2015

Published in: Top (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11750-015-0363-2

Mathematics Subject Classification ID

Integer programming (90C10) Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57) Deterministic scheduling theory in operations research (90B35) Approximation methods and heuristics in mathematical programming (90C59) Research exposition (monographs, survey articles) pertaining to operations research and mathematical programming (90-02)

Uses Software

• Lingeling

Cites Work

• Unnamed Item
• The intractability of resolution
• Solving (Weighted) Partial MaxSAT through Satisfiability Testing
• A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints

This page was built for publication: Comments on: ``An overview of curriculum-based course timetabling