ML Anthology

SAT-Based Approaches for the General High School Timetabling Problem

Emir Demirovic
IJCAI 2017 pp. 5175-5176
doi:10.24963/IJCAI.2017/747 /ijcai/2017/demirovic2017ijcai-sat/
PDF IJCAI Semantic Scholar

Cite

Text

Demirovic. "SAT-Based Approaches for the General High School Timetabling Problem." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/747

Markdown

[Demirovic. "SAT-Based Approaches for the General High School Timetabling Problem." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/demirovic2017ijcai-sat/) doi:10.24963/IJCAI.2017/747

BibTeX

@inproceedings{demirovic2017ijcai-sat,
  title     = {{SAT-Based Approaches for the General High School Timetabling Problem}},
  author    = {Demirovic, Emir},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {5175-5176},
  doi       = {10.24963/IJCAI.2017/747},
  url       = {https://mlanthology.org/ijcai/2017/demirovic2017ijcai-sat/}
}