Ternary Tree Solver (TTS 4.0)

Autoria(s): Spence, Ivor
Data(s)

01/06/2007
Identificador

http://pure.qub.ac.uk/portal/en/publications/ternary-tree-solver-tts-40(32d5c7af-d85b-4c83-a3e0-1b80f2c128d5).html
Idioma(s)

eng
Publicador

Unknown Publisher
Direitos

info:eu-repo/semantics/restrictedAccess
Fonte

Spence , I , Ternary Tree Solver (TTS 4.0) , 2007 , Software , Unknown Publisher , Source code link in section SAT 2007 competition at http://www.satcompetition.org/ .
Tipo

other
Acesso ao item digital