Numeric bounds analysis with conflict-driven learning (Q2894265)
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 6051077
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Numeric bounds analysis with conflict-driven learning |
scientific article; zbMATH DE number 6051077 |
Statements
Numeric Bounds Analysis with Conflict-Driven Learning (English)
0 references
29 June 2012
0 references
0.7905441522598267
0 references
0.7521207332611084
0 references
0.7475593090057373
0 references
0.7449570298194885
0 references
