Unanswered Questions
72 questions with no upvoted or accepted answers
7
votes
0
answers
80
views
Which Constraint solver is extensible to CSP algorithms?
I am novice to constraint programming and I need to implement the following algorithms.
Backtacking
Conflict-based backjumping
AC partial lookahead
MAC
Forward checking
Forward checking + dom
...
6
votes
0
answers
94
views
Graph coloring problem while counting cliques
Let $G$ be a graph with a set of nodes $V$ and a set of edges $E$.
Let $G'$ be a graph with the same set of nodes $V$ but a second set of edges $E'$.
For a set of nodes $X\subset V$, we denote $f(X)$ ...
6
votes
0
answers
227
views
OptionalIntervalVar enforced but not working OR-TOOLS
I'm using OptionalIntervalVar and then maximizing the starts. The optimal solution is not affecting the other variables that creates the ...
6
votes
0
answers
166
views
Modelling issue with precedence constraint in OR-Tools
I'm trying to solve an RCPSPDc model It is infeasible, although Ilog Cplex solves it, so I think I have a modelling issue. I have more constraints but the precedence is the one that makes it ...
6
votes
0
answers
651
views
Cplex is stuck after root node relaxation solution
I am solving an MIP through Benders decomposition (coded both generic and legacy callback versions), by employing Java with Cplex 12.9. For some of the instances, Cplex is stuck for two hours (time ...
6
votes
0
answers
447
views
How to make constraints satisfy disciplined convex programming guidelines?
How do I turn my convex constraints (described below) into constraints that are DCP so that I can solve them in CVXPy? Is there some ``cheat sheet'' of standard tricks?
I'm trying to implement the ...
5
votes
0
answers
124
views
Scale of largest CPLEX/Gurobi execution
I am trying to understand the CO2 emission of large scale optimization using CPLEX or Gurobi. Is there a published literature which addresses the compute usage of large scale executions?
5
votes
0
answers
153
views
How to handle constraints in docplex to states the relation between two variables?
I am using docplex.cp and I need to state the following constraint:
$$\sum_{c}(X_p{_w}_{cj}+X_{p+1}{_{w'}}_{cj+1})\leqslant T_w{_{w'}}_{,jj+1} + 1$$
Knowing that the binary variables are:
$X_p{_w}_{...
5
votes
0
answers
44
views
In a binary logistic regression context, how to introduce a constraint to model the dependency between consecutive samples
Imagine we are running a logistic regression to identify opportunities for car sale promotion, using previous promotion campaign's result. Each $y$ is the increase of car sale after the promotion.
...
4
votes
0
answers
159
views
4
votes
0
answers
385
views
CPLEX Python: Current subproblem model in branch and bound
I have an MILP problem and use CPLEX (Python interface). I am working on user heuristics for branching in the branch-and-bound procedure. With HSCallback I managed to get the information about the ...
4
votes
0
answers
107
views
Modelling issue with rcpsp and boolean expressions
I'm trying to solve an RCPSPDc problem in OR-Tools with CP-SAT solver.
In my RCPSPDc model (with discount rate) i want to set this objective:
$$\max_{s}\sum_{j\in J}\text{profit}_{j}\cdot \frac{1}{(1+...
3
votes
1
answer
210
views
Implementing Logic-based Benders decomposition on a single search tree
Currently, I am working on a scheduling problem and trying to approach it by the logic-based Benders decomposition method. Theoretically, I have everything, i.e., the master and sub problem(s), the ...
3
votes
0
answers
101
views
cplex callbacks: getting the branching variable
I would like to obtain the number of the variable cplex branches on at the current node during B&B.
I try this by using the callback
...
3
votes
0
answers
465
views
Circuit constraints in ortools
I am looking to assign tasks to people. Each successive task should be started after the first one is finished and should be started at the same location as the preceding task. While the time ...