Questions tagged [sat]
The sat tag has no usage guidance.
4
questions
2
votes
0
answers
199
views
CP sat solver approach for task assignment with pre defined task start end times
I spent some time trying to clarify the problem more succinctly.
I has a set of fixed tasks which are of a certain type/category and which can be allocated to a set of workers.
The tasks have ...
- 21
3
votes
1
answer
147
views
"Complex" scheduling problem model structure
So, I'm modelling a job assigning problem in OR-Tools CP-SAT. I want to maximize rescheduled jobs based on some constraints. Right now jobs in my model look like this:
...
- 51
6
votes
2
answers
314
views
Does a modeling language that generates SAT instances exist?
Nowadays, we enjoy the expressivity of modern modeling languages. However, does it exists a modeling language that takes in input a declarative problem definition (like AMPL or MiniZinc, or similar),...
- 1,740
3
votes
2
answers
250
views
Extracting CNF representation of my problem from SAT solver
As I know, any SAT solver such as or-tools or cplex cp optimizer converts a given problem to CNF form in the first place. Is it possible to extract the resulting CNF representation from or-tools or ...
- 39