Improving complex SMT strategies with learning.

Saved in:
Bibliographic Details
Title: Improving complex SMT strategies with learning.
Authors: Gálvez Ramírez, Nicolás1,2 (AUTHOR) ngalvez@inf.utfsm.cl, Monfroy, Eric3 (AUTHOR) eric.monfroy@univ-nantes.fr, Saubion, Frédéric2 (AUTHOR) frederic.saubion@univ-angers.fr, Castro, Carlos1 (AUTHOR) ccastro@inf.utfsm.cl
Source: International Transactions in Operational Research. Mar2020, Vol. 27 Issue 2, p1162-1188. 27p. 2 Diagrams, 8 Charts.
Database: Mathematics Source
Full text is not displayed to guests.
Description
ISSN:09696016
DOI:10.1111/itor.12650