tts

swMATH985MaRDI QIDQ13729FDOQ13729

Author name not available (Why is that?)

Official website: http://www.cs.qub.ac.uk/~i.spence/tts/

Described by source

• tts: a SAT-solver for small, difficult instances

Cited In (3)

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

This page was built for software: tts