{"_id":"13157","title":"Reactive Dialectic Search Portfolios for MaxSAT.","date_created":"2019-09-09T09:34:14Z","user_id":"40778","citation":{"apa":"Ansotegui, C., Pon, J., Sellmann, M., &#38; Tierney, K. (2017). Reactive Dialectic Search Portfolios for MaxSAT. In <i>AAAI</i> (pp. 765–772).","short":"C. Ansotegui, J. Pon, M. Sellmann, K. Tierney, in: AAAI, 2017, pp. 765–772.","chicago":"Ansotegui, Carlos, Josep Pon, Meinolf Sellmann, and Kevin Tierney. “Reactive Dialectic Search Portfolios for MaxSAT.” In <i>AAAI</i>, 765–72, 2017.","ieee":"C. Ansotegui, J. Pon, M. Sellmann, and K. Tierney, “Reactive Dialectic Search Portfolios for MaxSAT.,” in <i>AAAI</i>, 2017, pp. 765–772.","bibtex":"@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} }","ama":"Ansotegui C, Pon J, Sellmann M, Tierney K. Reactive Dialectic Search Portfolios for MaxSAT. In: <i>AAAI</i>. ; 2017:765-772.","mla":"Ansotegui, Carlos, et al. “Reactive Dialectic Search Portfolios for MaxSAT.” <i>AAAI</i>, 2017, pp. 765–72."},"year":"2017","status":"public","project":[{"_id":"52","name":"Computing Resources Provided by the Paderborn Center for Parallel Computing"}],"author":[{"first_name":"Carlos","last_name":"Ansotegui","full_name":"Ansotegui, Carlos"},{"last_name":"Pon","full_name":"Pon, Josep","first_name":"Josep"},{"first_name":"Meinolf","last_name":"Sellmann","full_name":"Sellmann, Meinolf"},{"first_name":"Kevin","full_name":"Tierney, Kevin","last_name":"Tierney"}],"type":"conference","date_updated":"2022-01-06T06:51:29Z","publication":"AAAI","page":"765-772","language":[{"iso":"eng"}]}