%0 Conference Paper %1 conf/sat/IgnatievJM13 %A Ignatiev, Alexey %A Janota, Mikolás %A Marques-Silva, João %B SAT %D 2013 %E Järvisalo, Matti %E Gelder, Allen Van %I Springer %K dblp %P 250-266 %T Quantified Maximum Satisfiability: - A Core-Guided Approach. %U http://dblp.uni-trier.de/db/conf/sat/sat2013.html#IgnatievJM13 %V 7962 %@ 978-3-642-39070-8

@inproceedings{conf/sat/IgnatievJM13, added-at = {2020-02-24T00:00:00.000+0100}, author = {Ignatiev, Alexey and Janota, Mikolás and Marques-Silva, João}, biburl = {https://www.bibsonomy.org/bibtex/252246a1e1c36b6986ae7280fac44c03f/dblp}, booktitle = {SAT}, crossref = {conf/sat/2013}, editor = {Järvisalo, Matti and Gelder, Allen Van}, ee = {https://doi.org/10.1007/978-3-642-39071-5_19}, interhash = {c64c52593c4f116577fd9e591aebbe46}, intrahash = {52246a1e1c36b6986ae7280fac44c03f}, isbn = {978-3-642-39070-8}, keywords = {dblp}, pages = {250-266}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-02-25T14:25:08.000+0100}, title = {Quantified Maximum Satisfiability: - A Core-Guided Approach.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2013.html#IgnatievJM13}, volume = 7962, year = 2013 }