Pages that link to "Item:Q1652069"
From MaRDI portal
The following pages link to maxSAT-based large neighborhood search for high school timetabling (Q1652069):
Displaying 6 items.
- \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming (Q1730740) (← links)
- Modeling and solving staff scheduling with partial weighted maxSAT (Q1730743) (← links)
- Modeling high school timetabling with bitvectors (Q2398422) (← links)
- A Hybrid Feature Selection Algorithm Based on Large Neighborhood Search (Q3304187) (← links)
- Proofs and Certificates for Max-SAT (Q5870516) (← links)
- Educational timetabling: problems, benchmarks, and state-of-the-art results (Q6167390) (← links)
