URSA
From MaRDI portal
Software:27429
No author found.
Related Items (6)
URSA: A System for Uniform Reduction to SAT ⋮ Constructibility classes for triangle location problems ⋮ Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3 ⋮ On black-box optimization in divide-and-conquer SAT solving ⋮ Unnamed Item ⋮ Theorem proving as constraint solving with coherent logic
This page was built for software: URSA
