Normal view
MARC view
SAT 2007 (2007 : Lisbon, Portugal) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): SAT 2007 (2007 : Lisbon, Portugal), Theory and applications of satisfiability testing :, ©2007.