The following pages link to Logic Programming (Q5475786):
Displayed 7 items.
- SAT modulo linear arithmetic for solving polynomial constraints (Q438576) (← links)
- A new look at the automatic synthesis of linear ranking functions (Q714505) (← links)
- Terminating Evaluation of Logic Programs with Finite Three-Valued Models (Q2946744) (← links)
- Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic (Q5191109) (← links)
- Proving Termination by Invariance Relations (Q5325774) (← links)
- Automating Termination Proofs for CHR (Q5325775) (← links)
- Termination Analysis of Logic Programs Based on Dependency Graphs (Q5504590) (← links)