Emir Demirović

Available identifiers

zbMath Open demirovic.emirMaRDI QIDQ1652068

List of research outcomes

Publication	Date of Publication	Type
Core-guided and core-boosted search for CP	2022-12-21	Paper
Constraint programming for high school timetabling: a scheduling-based model with hot starts	2022-06-29	Paper
Learning variable activity initialisation for lazy clause generation solvers	2022-03-21	Paper
Core-boosted linear search for incomplete MaxSAT	2019-10-14	Paper
Modeling and solving staff scheduling with partial weighted maxSAT	2019-03-06	Paper
maxSAT-based large neighborhood search for high school timetabling	2018-07-11	Paper
Modeling high school timetabling with bitvectors	2017-08-16	Paper
Variable neighborhood search for Google machine reassignment problem	2013-07-23	Paper

Research outcomes over time

This page was built for person: Emir Demirović