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
Ansotegui, Carlos;
Pon, Josep;
Sellmann, Meinolf;
Tierney, Kevin
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.
Google Scholar