2 results
On Program Completion, with an Application to the Sum and Product Puzzle
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 18 July 2023, pp. 664-677
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Program completion in the input language of GRINGO*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 5-6 / September 2017
- Published online by Cambridge University Press:
- 23 August 2017, pp. 855-871
-
- Article
- Export citation