Normal view
MARC view
Calcul propositionnel Congrès (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): SAT 2003 (2003 : Santa Margherita Ligure, Italy) 17847, Theory and applications of satisfiability testing :, ©2004.