Emir Demirović
Emir Demirović
Computing and Information Systems, University of Melbourne
Verified email at unimelb.edu.au - Homepage
TitleCited byYear
Variable Neighborhood Search for Google Machine Reassignment Problem
H Gavranović, M Buljubašić, E Demirović
Electronic Notes in Discrete Mathematics 39, 209-216, 2012
352012
MaxSAT-based large neighborhood search for high school timetabling
E Demirović, N Musliu
Computers & Operations Research 78, 172-180, 2017
182017
Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers
E Demirović, G Chu, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2018
72018
Modeling high school timetabling as partial weighted maxsat
E Demirović, N Musliu
LaSh 2014: The 4th Workshop on Logic and Search (a SAT/ICLP workshop at FLoC …, 2014
72014
Recoverable Team Formation: Building Teams Resilient to Change
E Demirović, N Schwind, T Okimoto, K Inoue
Proceedings of the 17th International Conference on Autonomous Agents and …, 2018
62018
Modeling and solving staff scheduling with partial weighted maxSAT
E Demirović, N Musliu, F Winter
Annals of Operations Research, 1-21, 2016
62016
Modeling high school timetabling with bitvectors
E Demirović, N Musliu
Annals of operations research 252 (2), 215-238, 2017
52017
An investigation into prediction+ optimisation for the knapsack problem
E Demirović, PJ Stuckey, J Bailey, J Chan, C Leckie, K Ramamohanarao, ...
International Conference on Integration of Constraint Programming …, 2019
32019
Solving High School Timetabling with Satisfiability Modulo Theories
E Demirović, N Musliu
Proceedings of the 10th International Conference of the Practice and Theory …, 2014
32014
Core-Boosted Linear Search for Incomplete MaxSAT
J Berg, E Demirović, PJ Stuckey
International Conference on Integration of Constraint Programming …, 2019
22019
Robust Coalition Structure Generation
T Okimoto, N Schwind, E Demirović, K Inoue, P Marquis
International Conference on Principles and Practice of Multi-Agent Systems …, 2018
12018
An Exact Algorithm for Unicost Set Covering
E Demirovic, T Le Calvar, N Musliu, K Inoue
1
Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search
E Demirović, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2019
2019
Predict+ optimise with ranking objectives: exhaustively learning linear functions
E Demirovic, PJ Stuckey, J Bailey, J Chan, C Leckie, K Ramamohanarao, ...
Proceedings of the 28th International Joint Conference on Artificial …, 2019
2019
Solution Approaches for an Automotive Paint Shop Scheduling Problem
F Winter, N Musliu, E Demirović, C Mrkvicka
Proceedings of the International Conference on Automated Planning and …, 2019
2019
Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts
E Demirović, PJ Stuckey
International Conference on the Integration of Constraint Programming …, 2018
2018
SAT-based approaches for the general high school timetabling problem
E Demirović
Proceedings of the 26th International Joint Conference on Artificial …, 2017
2017
Building Teams Resilient to Change
N Schwind, E Demirović
人工知能学会全国大会論文集 2017 年度人工知能学会全国大会 (第 31 回) 論文集 …, 2017
2017
Balanced clustering based decomposition applied to Master thesis defense timetabling problem
HT Trung, PQ Dung, E Demirović, M Clement, K Inoue
The Multidisciplinary International Scheduling Conference: Theory and …, 2017
2017
An efficient method for solving UNSAT 3-SAT and similar instances via static decomposition
E Demirović, H Gavranović
International Conference on Theory and Applications of Satisfiability …, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–20