E. Demirović
50 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?
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 ...
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
P-STreeD
A Multithreaded Approach for DP Optimal Decision Trees
A heuristic-guided constraint programming approach to PRCPSP-ST
Using priority-rules to guide constraint solvers
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 ...