\textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming (Q1730740): Difference between revisions

@@ Property / describes a project that uses @@
+teaspoon
@@ Property / describes a project that uses: teaspoon / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+clasp
@@ Property / describes a project that uses: clasp / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10479-018-2757-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2790306361
@@ Property / OpenAlex ID: W2790306361 / rank @@
+Normal rank
@@ Property / cites work @@
+Unsatisfiability-based optimization in clasp
@@ Property / cites work: Unsatisfiability-based optimization in clasp / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-based MaxSAT algorithms
@@ Property / cites work: SAT-based MaxSAT algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set programming as a modeling language for course timetabling
+Normal rank
@@ Property / cites work @@
+\textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+An overview of curriculum-based course timetabling
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Benchmarking curriculum-based course timetabling: formulations, data formats, instances, validation, visualization, and results
+Normal rank
@@ Property / cites work @@
+Recent research directions in automated timetabling
+Normal rank
@@ Property / cites work @@
+Decomposition, reformulation, and diving in university course timetabling
+Normal rank
@@ Property / cites work @@
+A supernodal formulation of vertex colouring with applications in course timetabling
+Normal rank
@@ Property / cites work @@
+A branch-and-cut procedure for the Udine course timetabling problem
+Normal rank
@@ Property / cites work @@
+maxSAT-based large neighborhood search for high school timetabling
+Normal rank
@@ Property / cites work @@
+Neighborhood portfolio approach for local search applied to timetabling problems
+Normal rank
@@ Property / cites work @@
+Q2845506
@@ Property / cites work: Q2845506 / rank @@
+Normal rank
@@ Property / cites work @@
+Multicriteria Optimization
@@ Property / cites work: Multicriteria Optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Progress in clasp Series 3
@@ Property / cites work: Progress in clasp Series 3 / rank @@
+Normal rank
@@ Property / cites work @@
+Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving
+Normal rank
@@ Property / cites work @@
+Applying the threshold accepting metaheuristic to~curriculum based course timetabling
+Normal rank
@@ Property / cites work @@
+Curriculum based course timetabling: new solutions to Udine benchmark instances
+Normal rank
@@ Property / cites work @@
+A survey of metaheuristic-based techniques for university timetabling problems
+Normal rank
@@ Property / cites work @@
+Adaptive tabu search for course timetabling
@@ Property / cites work: Adaptive tabu search for course timetabling / rank @@
+Normal rank
@@ Property / cites work @@
+Survey of multi-objective optimization methods for engineering
+Normal rank
@@ Property / cites work @@
+Setting the Research Agenda in Automated Timetabling: The Second International Timetabling Competition
+Normal rank
@@ Property / cites work @@
+ITC2007 solver description: a hybrid approach
@@ Property / cites work: ITC2007 solver description: a hybrid approach / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Probe backtrack search for minimal perturbation in dynamic scheduling
+Normal rank
@@ Property / cites work @@
+Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+Hybrid search for minimal perturbation in dynamic CSPs
+Normal rank