Optimization in SMT with \(\mathcal{LA}(\mathbb Q)\) cost functions (Q2908520)
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: Optimization in SMT with LA( Q) cost functions |
scientific article; zbMATH DE number 6076929
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Optimization in SMT with \(\mathcal{LA}(\mathbb Q)\) cost functions |
scientific article; zbMATH DE number 6076929 |
Statements
Optimization in SMT with ${\mathcal LA}$ (ℚ) Cost Functions (English)
0 references
5 September 2012
0 references
0.9364795088768004
0 references
0.8272695541381836
0 references
0.8112286925315857
0 references
0.7966603636741638
0 references
0.7855294346809387
0 references
