Details for solver configuration AbsSynthe (2016)
| Name: | AbsSynthe (2016) |
| Version: | |
| Description: | |
| Authors: | Romain Brenguier, Ocan Sankur, Guillermo A. Perez, Jean-Francois Raskin |
Hint:
Specified parameters
| Order | Name | Prefix | Value |
|---|---|---|---|
| 0 | configuration | par_synth_conf1 | |
| 1 | instance |