Reactive Dialectic Search Portfolios for MaxSAT.

C. Ansotegui, J. Pon, M. Sellmann, K. Tierney, in: AAAI, 2017, pp. 765–772.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
; ; ;
Publishing Year
Proceedings Title
AAAI
Page
765-772
LibreCat-ID

Cite this

Ansotegui C, Pon J, Sellmann M, Tierney K. Reactive Dialectic Search Portfolios for MaxSAT. In: AAAI. ; 2017:765-772.
Ansotegui, C., Pon, J., Sellmann, M., & Tierney, K. (2017). Reactive Dialectic Search Portfolios for MaxSAT. In AAAI (pp. 765–772).
@inproceedings{Ansotegui_Pon_Sellmann_Tierney_2017, title={Reactive Dialectic Search Portfolios for MaxSAT.}, booktitle={AAAI}, author={Ansotegui, Carlos and Pon, Josep and Sellmann, Meinolf and Tierney, Kevin}, year={2017}, pages={765–772} }
Ansotegui, Carlos, Josep Pon, Meinolf Sellmann, and Kevin Tierney. “Reactive Dialectic Search Portfolios for MaxSAT.” In AAAI, 765–72, 2017.
C. Ansotegui, J. Pon, M. Sellmann, and K. Tierney, “Reactive Dialectic Search Portfolios for MaxSAT.,” in AAAI, 2017, pp. 765–772.
Ansotegui, Carlos, et al. “Reactive Dialectic Search Portfolios for MaxSAT.” AAAI, 2017, pp. 765–72.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar