maxSAT-based large neighborhood search for high school timetabling
type: Item
instance of: scholarly article
title: maxSAT-based large neighborhood search for high school timetabling
zbMATH Open document ID: 1391.90651
author: Emir Demirović
author: Nysret Musliu
published in: Computers \& Operations Research
publication date: 2018-07-11T00:00:00Z
Mathematics Subject Classification ID: 90C59
Mathematics Subject Classification ID: 90B35
Mathematics Subject Classification ID: 90C11
zbMATH DE Number: 6901290
zbMATH Keywords: maxSAT
zbMATH Keywords: high school timetabling
zbMATH Keywords: large neighborhood search
zbMATH Keywords: local search
describes a project that uses: Sat4j
describes a project that uses: Open-WBO
describes a project that uses: XHSTT
MaRDI profile type: Publication
full work available at URL: j.cor.2016.08.004
OpenAlex ID: W2507614533
cites work: Q5503674
cites work: A SA-VNS approach for the high school timetabling problem
cites work: Modeling high school timetabling with bitvectors
cites work: A fix-and-optimize heuristic for the high school timetabling problem
cites work: Variable neighborhood search based algorithms for high school timetabling
cites work: Integer programming for the generalized high school timetabling problem
cites work: Open-WBO: A Modular MaxSAT Solver,
cites work: An XML format for benchmarks in high school timetabling
cites work: XHSTT: an XML archive for high school timetabling problems in different countries
cites work: Strong bounds with cut and column generation for class-teacher timetabling
cites work: Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
cites work: A two-stage decomposition of high school timetabling applied to cases in Denmark
DOI: 10.1016/J.COR.2016.08.004
description: scientific article; zbMATH DE number 6901290