# Questions tagged [constraint-satisfaction]

The tag has no usage guidance.

149 questions
Filter by
Sorted by
Tagged with
1 vote
41 views

### Applications of a SAT Solver Oracle for Determining the Uniqueness of Solutions

I am exploring two kinds of model $π_{π,π,k}$ and $S_{m,n,k}$ within the realm of satisfiability problems (SAT). Formal construction of $π_{π,π,k}$ To construct the $π_{π,π,k}$ model in ...
• 338
1 vote
16 views

### "package" compatibility solver with verion ranges

I am looking for how to solve the package compatibility problem. I have found some relevant research and libraries. But some of them are older. I am wondering if there is any more recent research and ...
• 111
1 vote
25 views

### Resolving distance constraints in 2D

I am currently writing a tool that will be used in an industrial process to place components with physical requirements. It boils down to the following: I have a set of points (typically, a few ...
• 111
46 views

### Convert ternary constraint into set of binary

I have the following ternary constraint that needs to be converted into a set of binary constraints in order to be used for a constraints solving problem: ...
1 vote
323 views

• 113
1 vote
647 views

### How does the SMT solver Z3 handle conditional statements in a constraint?

I have a constraint system which I seek to find solutions for. The constraints consist of lesser/equal inequalities which have a difference of two minimum expressions on their right side, for example: ...
• 33
1 vote
247 views

### How to design a faster sort algorithm? Is there sort of meta-algoritm for it? Or we do not understand how better sort algorithms were discovered?

I know that Quicksort or MergeSort are faster than, say, Bubblesort or Selection sort. And I know why (complexity metrics) but I never been able to find out how could someone start with, for example ...
• 113
33 views

• 113