hgen2

swMATH4455MaRDI QIDQ16631FDOQ16631

Author name not available (Why is that?)

Official website: http://logic.pdmi.ras.ru/~hirsch/benchmarks/hgen2.html

Cited In (1)

• Theory and Applications of Satisfiability Testing

This page was built for software: hgen2