The following pages link to Linear Arithmetic with Stars (Q3512499):
Displaying 11 items.
- On the complexity of timed pattern matching (Q832025) (← links)
- Efficient automated reasoning about sets and multisets with cardinality constraints (Q2096432) (← links)
- Recent advances on reachability problems for valence systems (invited talk) (Q2695487) (← links)
- Decision Procedures for Automating Termination Proofs (Q3075496) (← links)
- Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars (Q3540175) (← links)
- Combining Theories with Shared Set Operations (Q3655212) (← links)
- Certified Reasoning with Infinity (Q5206958) (← links)
- MUNCH - Automated Reasoner for Sets and Multisets (Q5747757) (← links)
- Succinct ordering and aggregation constraints in algebraic array theories (Q6561348) (← links)
- Reasoning on data words over numeric domains (Q6649469) (← links)
- Geometric decision procedures and the VC dimension of linear arithmetic theories (Q6649496) (← links)
