swMATH15541MaRDI QIDQ27429FDOQ27429
Author name not available (Why is that?)
Official website: http://arxiv.org/abs/1012.1255
Cited In (12)
- On black-box optimization in divide-and-conquer SAT solving
- Constructibility classes for triangle location problems
- URBiVA
- SIMPLY
- fzn2smt
- Transalg
- mkplot
- URSA: a system for uniform reduction to SAT
- Proving correctness of a KRK chess endgame strategy by using Isabelle/HOL and Z3
- Title not available (Why is that?)
- EUCLID
- Theorem proving as constraint solving with coherent logic
This page was built for software: URSA
