Pages that link to "Item:Q3636881"
From MaRDI portal
The following pages link to On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure (Q3636881):
Displaying 5 items.
- A Survey of Satisfiability Modulo Theory (Q2830018) (← links)
- LNS with Co-Transformation Competes with Floating-Point (Q2985681) (← links)
- (Q4790659) (← links)
- Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags (Q5747871) (← links)
- Reluplex: a calculus for reasoning about deep neural networks (Q6108442) (← links)