Hyper-Reactive Tabu Search for MaxSAT

C. Ansótegui, B. Heymann, J. Pon, M. Sellmann, K. Tierney, in: Learning and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp. 309–325.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
; ; ; ;
Publishing Year
Proceedings Title
Learning and Intelligent Optimization
Page
309-325
Conference
International Conference on Learning and Intelligent Optimization
LibreCat-ID

Cite this

Ansótegui C, Heymann B, Pon J, Sellmann M, Tierney K. Hyper-Reactive Tabu Search for MaxSAT. In: Learning and Intelligent Optimization. Cham: Springer International Publishing; 2019:309-325. doi:10.1007/978-3-030-05348-2_27
Ansótegui, C., Heymann, B., Pon, J., Sellmann, M., & Tierney, K. (2019). Hyper-Reactive Tabu Search for MaxSAT. In Learning and Intelligent Optimization (pp. 309–325). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-030-05348-2_27
@inproceedings{Ansótegui_Heymann_Pon_Sellmann_Tierney_2019, place={Cham}, title={Hyper-Reactive Tabu Search for MaxSAT}, DOI={10.1007/978-3-030-05348-2_27}, booktitle={Learning and Intelligent Optimization}, publisher={Springer International Publishing}, author={Ansótegui, Carlos and Heymann, Britta and Pon, Josep and Sellmann, Meinolf and Tierney, Kevin}, year={2019}, pages={309–325} }
Ansótegui, Carlos, Britta Heymann, Josep Pon, Meinolf Sellmann, and Kevin Tierney. “Hyper-Reactive Tabu Search for MaxSAT.” In Learning and Intelligent Optimization, 309–25. Cham: Springer International Publishing, 2019. https://doi.org/10.1007/978-3-030-05348-2_27.
C. Ansótegui, B. Heymann, J. Pon, M. Sellmann, and K. Tierney, “Hyper-Reactive Tabu Search for MaxSAT,” in Learning and Intelligent Optimization, 2019, pp. 309–325.
Ansótegui, Carlos, et al. “Hyper-Reactive Tabu Search for MaxSAT.” Learning and Intelligent Optimization, Springer International Publishing, 2019, pp. 309–25, doi:10.1007/978-3-030-05348-2_27.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar
ISBN Search