The following pages link to Cristina Borralleras (Q438573):
Displayed 10 items.
- SAT modulo linear arithmetic for solving polynomial constraints (Q438576) (← links)
- A Monotonic Higher-Order Semantic Path Ordering (Q2996192) (← links)
- Proving Termination Through Conditional Termination (Q3303892) (← links)
- Orderings and Constraints: Theory and Practice of Proving Termination (Q3608810) (← links)
- (Q4447239) (← links)
- (Q4809069) (← links)
- The recursive path and polynomial ordering for first-order and higher-order terms (Q4914419) (← links)
- Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers (Q4972164) (← links)
- Resource Analysis driven by (Conditional) Termination Proofs (Q5108498) (← links)
- Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic (Q5191109) (← links)