%0 Conference Paper %1 conf/lori/KoniecznyLM17 %A Konieczny, Sébastien %A Lagniez, Jean-Marie %A Marquis, Pierre %B LORI %D 2017 %E Baltag, Alexandru %E Seligman, Jeremy %E Yamada, Tomoyuki %I Springer %K dblp %P 480-496 %T Boosting Distance-Based Revision Using SAT Encodings. %U http://dblp.uni-trier.de/db/conf/lori/lori2017.html#KoniecznyLM17 %V 10455 %@ 978-3-662-55665-8

@inproceedings{conf/lori/KoniecznyLM17, added-at = {2017-09-01T00:00:00.000+0200}, author = {Konieczny, Sébastien and Lagniez, Jean-Marie and Marquis, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/2e27cf6ad43eb3c356b82bcb908cf4631/dblp}, booktitle = {LORI}, crossref = {conf/lori/2017}, editor = {Baltag, Alexandru and Seligman, Jeremy and Yamada, Tomoyuki}, ee = {https://doi.org/10.1007/978-3-662-55665-8_33}, interhash = {19a93d9e8f1013a048a5acc98526a3e0}, intrahash = {e27cf6ad43eb3c356b82bcb908cf4631}, isbn = {978-3-662-55665-8}, keywords = {dblp}, pages = {480-496}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:34:59.000+0200}, title = {Boosting Distance-Based Revision Using SAT Encodings.}, url = {http://dblp.uni-trier.de/db/conf/lori/lori2017.html#KoniecznyLM17}, volume = 10455, year = 2017 }