A practical approach to satisfiability modulo linear integer arithmetic (Q2786906)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6544914
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A practical approach to satisfiability modulo linear integer arithmetic |
scientific article; zbMATH DE number 6544914 |
Statements
23 February 2016
0 references
SMT
0 references
linear integer arithmetic
0 references
decision procedures
0 references
A practical approach to satisfiability modulo linear integer arithmetic (English)
0 references
0.8029991984367371
0 references
0.7979414463043213
0 references
0.7945655584335327
0 references
0.7913029193878174
0 references
0.7834374308586121
0 references
