Pages that link to "Item:Q453505"

The following pages link to Cuts from proofs: a complete and practical technique for solving linear inequalities over integers (Q453505):

Displaying 3 items.

• \textsc{Diffy}: inductive reasoning of array programs using difference invariants (Q832320) (← links)
• Data abstraction: a general framework to handle program verification of data structures (Q2145329) (← links)
• A Survey of Satisfiability Modulo Theory (Q2830018) (← links)