Improving complex SMT strategies with learning
| Year of publication: |
2019
|
|---|---|
| Authors: | Gálvez Ramírez, Nicolás ; Monfroy, Eric ; Saubion, Frédéric ; Castro, Carlos |
| Published in: |
International Transactions in Operational Research. - Wiley, ISSN 1475-3995, ZDB-ID 2019815-2. - Vol. 27.2019, 2 (15.03.), p. 1162-1188
|
| Publisher: |
Wiley |
| Type of publication: | Article |
|---|---|
| Language: | English |
| Other identifiers: | 10.1111/itor.12650 [DOI] |
| Source: | Other ZBW resources |
Persistent link: https://www.econbiz.de/10012091883