The following pages link to Computer Science Logic (Q5394581):
Displaying 6 items.
- SAT modulo linear arithmetic for solving polynomial constraints (Q438576) (← links)
- A search-based procedure for nonlinear real arithmetic (Q518407) (← links)
- On the Generation of Positivstellensatz Witnesses in Degenerate Cases (Q3088010) (← links)
- Combined Decision Techniques for the Existential Theory of the Reals (Q3637273) (← links)
- Combining Equational Reasoning (Q3655192) (← links)
- Real World Verification (Q5191121) (← links)