tts

swMATH985MaRDI QIDQ13729FDOQ13729

Author name not available (Why is that?)

Cited In (2)

• Producing and verifying extremely large propositional refutations
• Zero-One Designs Produce Small Hard SAT Instances

This page was built for software: tts