The following pages link to URSA (Q27429):
Displaying 6 items.
- Constructibility classes for triangle location problems (Q294373) (← links)
- Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
- URSA: A System for Uniform Reduction to SAT (Q3166220) (← links)
- Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3 (Q3454099) (← links)
- On black-box optimization in divide-and-conquer SAT solving (Q5085259) (← links)
- (Q5109519) (← links)