A GRASP for the minimum cost SAT problem / Felici, Giovanni; Ferone, Daniele; Festa, Paola; Napoletano, Antonio; Pastore, Tommaso. - 10556:(2017), pp. 64-78. (Intervento presentato al convegno 11th International Conference on Learning and Intelligent Optimization, LION 2017 tenutosi a rus nel 2017) [10.1007/978-3-319-69404-7_5].
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.