https://smt-comp.github.io/2021/results/nia-unsat-core
Nia Unsat Core | SMT-COMP
Jan 29, 2024 - The International Satisfiability Modulo Theories (SMT) Competition.
niacoresmtcomp
https://www.qbflib.org/benchmark_detail.php?idBench=28091
Detail page for benchmark DWs-unsat-11-23-1
detail pagebenchmarkdws
https://unsat.cs.washington.edu/
UNSAT: About
The UNSAT Group at UW
https://unsat.com.ar/
UNSAT e-learning – Cursos y Carreras online
cursos y carreraslearningonline
https://experts.mcmaster.ca/scholarly-works/167854
Dynamite 2.0: New Features Based on UnSAT-Core...
Learn about the scholarly work entitled Dynamite 2.0: New Features Based on UnSAT-Core...
new featuresbased ondynamitecore