7 results
Implementing Backjumping by Means of Exception Handling
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 24 August 2023, pp. 918-932
-
- Article
- Export citation
On Correctness and Completeness of an n Queens Program
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 1 / January 2022
- Published online by Cambridge University Press:
- 14 October 2021, pp. 37-50
-
- Article
-
- You have access
- Open access
- Export citation
Logic + control: On program construction and verification
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 1 / January 2018
- Published online by Cambridge University Press:
- 19 June 2017, pp. 1-29
-
- Article
- Export citation
On definite program answers and least Herbrand models
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 4 / July 2016
- Published online by Cambridge University Press:
- 03 May 2016, pp. 498-508
-
- Article
- Export citation
A simple correctness proof for magic transformation
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 6 / November 2012
- Published online by Cambridge University Press:
- 04 March 2011, pp. 929-936
-
- Article
- Export citation
Proving correctness and completeness of normal programs – a declarative approach
-
- Journal:
- Theory and Practice of Logic Programming / Volume 5 / Issue 6 / November 2005
- Published online by Cambridge University Press:
- 31 October 2005, pp. 669-711
-
- Article
- Export citation
Using parametric set constraints for locating errors in CLP programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 2 / Issue 4-5 / July 2002
- Published online by Cambridge University Press:
- 26 July 2002, pp. 549-610
-
- Article
- Export citation