URSA
From MaRDI portal
Software:27429
swMATH15541MaRDI QIDQ27429FDOQ27429
Author name not available (Why is that?)
Cited In (6)
- Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3
- On black-box optimization in divide-and-conquer SAT solving
- Constructibility classes for triangle location problems
- Title not available (Why is that?)
- Theorem proving as constraint solving with coherent logic
- URSA: A System for Uniform Reduction to SAT
This page was built for software: URSA
