Curriculum-based course timetabling with SAT and MaxSAT
From MaRDI portal
(Redirected from Publication:475170)
Recommendations
- Comments on: ``An overview of curriculum-based course timetabling
- Curriculum based course timetabling: new solutions to Udine benchmark instances
- Benchmarking curriculum-based course timetabling: formulations, data formats, instances, validation, visualization, and results
- maxSAT-based large neighborhood search for high school timetabling
- scientific article; zbMATH DE number 1322611
Cites work
- A Computing Procedure for Quantification Theory
- A framework for certified Boolean branch-and-bound optimization
- A machine program for theorem-proving
- Adaptive tabu search for course timetabling
- Algorithms for Weighted Boolean Optimization
- An efficient solver for weighted Max-SAT
- Cardinality Networks and Their Applications
- Compiling problem specifications into SAT
- Efficient CNF encoding of Boolean cardinality constraints
- Formalizing Dangerous SAT Encodings
- Graph-Based Algorithms for Boolean Function Manipulation
- scientific article; zbMATH DE number 5510691 (Why is no real title available?)
- ITC2007 solver description: a hybrid approach
- Minimaxsat: an efficient weighted Max-SAT solver
- On Solving the Partial MAX-SAT Problem
- Solving (Weighted) Partial MaxSAT through Satisfiability Testing
- Solving SAT and SAT modulo theories, from an abstract Davis-Putnam-Logemann-Loveland procedure to \(\operatorname{DPLL}(T)\)
- Solving weighted Max-SAT problems in a reduced search space: a performance analysis
- The intractability of resolution
- Theory and Applications of Satisfiability Testing
Cited in
(27)- Benders decomposition for curriculum-based course timetabling
- WPM3: an (in)complete algorithm for weighted partial MaxSAT
- Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency
- \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming
- Curriculum based course timetabling: new solutions to Udine benchmark instances
- Dantzig-Wolfe decomposition of the daily course pattern formulation for curriculum-based course timetabling
- Encoding cardinality constraints using multiway merge selection networks
- A new model for curriculum-based university course timetabling
- Daily course pattern formulation and valid inequalities for the curriculum-based course timetabling problem
- Iterative and core-guided maxsat solving: a survey and assessment
- Comments on: ``An overview of curriculum-based course timetabling
- An overview of curriculum-based course timetabling
- Fairness in academic course timetabling
- Feature-based tuning of simulated annealing applied to the curriculum-based course timetabling problem
- Exploiting resolution-based representations for MaxSAT solving
- scientific article; zbMATH DE number 1322611 (Why is no real title available?)
- On using incremental encodings in unsatisfiability-based MaxSAT solving
- Consensus-finding that preserves mutually conflicting hypothetical information from a same agent
- MaxSAT-based scheduling of B2B meetings
- Proofs and Certificates for Max-SAT
- Comments on: ``An overview of curriculum-based course timetabling
- Comments on: ``An overview of curriculum-based course timetabling
- A quest for a fair schedule: the international Young Physicists' Tournament
- Exact and approximate determination of the Pareto front using minimal correction subsets
- Educational timetabling: problems, benchmarks, and state-of-the-art results
- Speeding up pseudo-Boolean propagation
- Automatic algorithm selection for pseudo-Boolean optimization with given computational time limits
This page was built for publication: Curriculum-based course timetabling with SAT and MaxSAT
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q475170)
