An optimal decision procedure for MPNL over the integers (Q4964728)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An optimal decision procedure for MPNL over the integers |
scientific article; zbMATH DE number 7317261
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An optimal decision procedure for MPNL over the integers |
scientific article; zbMATH DE number 7317261 |
Statements
3 March 2021
0 references
0.9784976840019226
0 references
0.8840505480766296
0 references
0.8485347628593445
0 references
0.8312616944313049
0 references
0.8297199606895447
0 references
