[next] [prev] [prev-tail] [tail] [up]
A detailed description of the algorithm employed by this software can be found in our papers [1, 2, 3]. We implemented the algorithm on top of our RSolver package that provides pruning and solving of quantified constraints.
[next] [prev] [prev-tail] [front] [up]