14780541
Results 1 to 1 of 1
Selection :
Reasoning by symmetry and function ordering in finite model generationAUDEMARD, Gilles; BENHAMOU, Belaid.Lecture notes in computer science. 2002, pp 226-240, issn 0302-9743, isbn 3-540-43931-5, 15 p.Conference Paper