URSA
From MaRDI portal
Cited in
(12)- Theorem proving as constraint solving with coherent logic
- URBiVA
- SIMPLY
- fzn2smt
- Transalg
- Constructibility classes for triangle location problems
- URSA: a system for uniform reduction to SAT
- Proving correctness of a KRK chess endgame strategy by using Isabelle/HOL and Z3
- mkplot
- On black-box optimization in divide-and-conquer SAT solving
- scientific article; zbMATH DE number 7199588 (Why is no real title available?)
- EUCLID
This page was built for software: URSA
