CONSAT: A Parallel Constraint Satisfaction System

Citation
K.ho,h.w.guesgen,p.n.hilfinger, CONSAT: A Parallel Constraint Satisfaction System, LISP and symbolic computation , 7(2/3), 1994, pp. 195-210
ISSN journal
08924635
Volume
7
Issue
2/3
Year of publication
1994
Pages
195 - 210
Database
ACNP
SICI code