Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce, João Marques-Silva. Progression in Maximum Satisfiability. In Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan, editors, ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014). Volume 263 of Frontiers in Artificial Intelligence and Applications, pages 453-458, IOS Press, 2014. [doi]
@inproceedings{IgnatievMMLM14, title = {Progression in Maximum Satisfiability}, author = {Alexey Ignatiev and António Morgado and Vasco M. Manquinho and Inês Lynce and João Marques-Silva}, year = {2014}, doi = {10.3233/978-1-61499-419-0-453}, url = {http://dx.doi.org/10.3233/978-1-61499-419-0-453}, researchr = {https://researchr.org/publication/IgnatievMMLM14}, cites = {0}, citedby = {0}, pages = {453-458}, booktitle = {ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014)}, editor = {Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan}, volume = {263}, series = {Frontiers in Artificial Intelligence and Applications}, publisher = {IOS Press}, isbn = {978-1-61499-419-0}, }