A backjumping technique for Disjunctive Logic Programming.
Saved in:
| Title: | A backjumping technique for Disjunctive Logic Programming. |
|---|---|
| Authors: | Ricca, Francesco1, ricca@mat.unical.it, Faber, Wolfgang1, faber@mat.unical.it, Leone, Nicola1, leone@mat.unical.it |
| Source: | AI Communications; 2006, Vol. 19 Issue 2, p155-172, 18p, 2 Illustrations, 2 Diagrams, 2 Charts, 8 Graphs |
| Database: | Applied Science & Technology Source |
| ISSN: | 09217126 |
|---|
