Pages that link to "Item:Q475170"
From MaRDI portal
The following pages link to Curriculum-based course timetabling with SAT and MaxSAT (Q475170):
Displayed 16 items.
- Fairness in academic course timetabling (Q284412) (← links)
- Feature-based tuning of simulated annealing applied to the curriculum-based course timetabling problem (Q342121) (← links)
- WPM3: an (in)complete algorithm for weighted partial MaxSAT (Q1680676) (← links)
- Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency (Q1685966) (← links)
- Dantzig-Wolfe decomposition of the daily course pattern formulation for curriculum-based course timetabling (Q1991148) (← links)
- Encoding cardinality constraints using multiway merge selection networks (Q2009191) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- An overview of curriculum-based course timetabling (Q2355018) (← links)
- Exploiting Resolution-Based Representations for MaxSAT Solving (Q3453232) (← links)
- On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving (Q5015594) (← links)
- Consensus-finding that preserves mutually conflicting hypothetical information from a same agent (Q5145440) (← links)
- Proofs and Certificates for Max-SAT (Q5870516) (← links)
- Comments on: ``An overview of curriculum-based course timetabling'' (Q5971109) (← links)
- A quest for a fair schedule: the international Young Physicists' Tournament (Q6102843) (← links)
- Exact and approximate determination of the Pareto front using minimal correction subsets (Q6164362) (← links)
- Educational timetabling: problems, benchmarks, and state-of-the-art results (Q6167390) (← links)