Vista normal
Vista MARC
Numeric Computing. (Término temático)
Machine generated authority record.
Work cat.: (UQROO)60306: Hoos, Holger H. editor. 107433, Theory and Applications of Satisfiability Testing
Machine generated authority record.
Work cat.: (UQROO)60306: Hoos, Holger H. editor. 107433, Theory and Applications of Satisfiability Testing