Normal view
MARC view
Marques-Silva, João (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): SAT 2007 (2007 : Lisbon, Portugal) 21982, Theory and applications of satisfiability testing :, ©2007.