Even Faster Conflicts and Lazier Reductions for String Solvers (Q6487337)
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 7628147
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Even Faster Conflicts and Lazier Reductions for String Solvers |
scientific article; zbMATH DE number 7628147 |
Statements
Even Faster Conflicts and Lazier Reductions for String Solvers (English)
0 references
7 December 2022
0 references
0 references
0.8353128433227539
0 references
0.831427276134491
0 references
0.8196748495101929
0 references
0.7926207780838013
0 references
0.7855162024497986
0 references
