Pages that link to "Item:Q428887"
From MaRDI portal
The following pages link to A pearl on SAT and SMT solving in Prolog (Q428887):
Displaying 7 items.
- On Completeness of Logic Programs (Q2949713) (← links)
- Logic + control: On program construction and verification (Q4603427) (← links)
- Backjumping is Exception Handling (Q4957217) (← links)
- (Q5087785) (← links)
- Correctness and Completeness of Logic Programs (Q5277919) (← links)
- A relaxed condition for avoiding the occur-check (Q6076347) (← links)
- A note on occur-check (Q6647307) (← links)
