E. Demirović
49 records found
1
Improving propagation of the inverse constraint in lazy clause generation solvers
To what extent can the use of Dulmage-Mendelsohn decomposition enhance the computational efficiency of propagating the inverse constraint in LCG solvers compared to decomposition methods?
Evaluating the usefulness of Global Cardinality constraint propagators in Lazy Clause Generation
Comparing propagator implementations with explanatory clauses for the Global Cardinality constraint against decomposition in the Pumpkin Lazy Clause Generation solver
Explanation-Based Propagators for the Table Constraint
Comparing Eager vs. Lazy Explanations in Lazy Clause Generation Solvers
Lazy Clause Generation for Bin Packing
Explaining Bin Packing Propagation with Boolean Variables
Existing solutions for bin packing problems are plentiful, but rigid.
We have taken existing solutions of bin packing in constraint programming, and analysed the steps this ...
A heuristic-guided constraint programming approach to PRCPSP-ST
Using priority-rules to guide constraint solvers
P-STreeD
A Multithreaded Approach for DP Optimal Decision Trees
Optimal Decision Trees for The Algorithm Selection Problem
Balancing Performance and Interpretability
Optimal Decision Trees for non-linear metrics
A geometric convex hull approach
in Constraint Programming (CP) solvers for the Prize-Collecting Job Sequencing
with One Common and Multiple Secondary Resources (PC-JSOCMSR) problem. We
propose two variable selecti ...
How can the behaviour of specialized heuristic solvers assist constraint solvers for optimization problems
A lookahead approach for Chuffed that emulates the behaviour of heuristic solvers
Constraint programming solvers provide a generalizable approach to finding solutions for optimization problems. However, when comparing the performance of constraint programming solvers to the performance of a heuristic solver for an optimization problem such as cluster edit ...
Combining SAT solvers with heuristic ideas for solving RCPSP with logical constraints
An exploration of variable ordering heuristics impact on solving RCPSP-log