tts

MaRDI QIDQ13729swMATHFDO

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)

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

This page was built for software: tts