An exact algorithm for the constraint satisfaction problem: Application to logical inference
Hachemi Bennaceur, Gérard PlateauТом:
48
Рік:
1993
Мова:
english
Сторінки:
8
DOI:
10.1016/0020-0190(93)90258-b
Файл:
PDF, 590 KB
english, 1993