Pages that link to "Item:Q5505559"
From MaRDI portal
The following pages link to (LIA) - Model Evolution with Linear Integer Arithmetic Constraints (Q5505559):
Displaying 7 items.
- Superposition as a decision procedure for timed automata (Q1949086) (← links)
- Superposition decides the first-order logic fragment over ground theories (Q1949088) (← links)
- Deciding the Bernays-Schoenfinkel fragment over bounded difference constraints by simple clause learning over theories (Q2234101) (← links)
- Axiomatic Constraint Systems for Proof Search Modulo Theories (Q2964465) (← links)
- Superposition Modulo Non-linear Arithmetic (Q3172887) (← links)
- Model Evolution with Equality Modulo Built-in Theories (Q5200017) (← links)
- Linear Quantifier Elimination as an Abstract Decision Procedure (Q5747770) (← links)