%0 Conference Paper %1 conf/birthday/BaumannBDW12 %A Baumann, Ringo %A Brewka, Gerhard %A Dvorák, Wolfgang %A Woltran, Stefan %B Correct Reasoning %D 2012 %E Erdem, Esra %E Lee, Joohyung %E Lierler, Yuliya %E Pearce, David %I Springer %K %P 57-71 %T Parameterized Splitting: A Simple Modification-Based Approach. %U http://dblp.uni-trier.de/db/conf/birthday/lifschitz2012.html#BaumannBDW12 %V 7265 %@ 978-3-642-30742-3

@inproceedings{conf/birthday/BaumannBDW12, added-at = {2023-12-12T20:14:47.000+0100}, author = {Baumann, Ringo and Brewka, Gerhard and Dvorák, Wolfgang and Woltran, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2041023df72576d58be82c2f549d8f1f5/admin}, booktitle = {Correct Reasoning}, crossref = {conf/birthday/2012lifschitz}, editor = {Erdem, Esra and Lee, Joohyung and Lierler, Yuliya and Pearce, David}, ee = {https://doi.org/10.1007/978-3-642-30743-0_5}, interhash = {2c849ac4ce58a67ad990c3ecbddc1655}, intrahash = {041023df72576d58be82c2f549d8f1f5}, isbn = {978-3-642-30742-3}, keywords = {}, pages = {57-71}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T20:14:47.000+0100}, title = {Parameterized Splitting: A Simple Modification-Based Approach.}, url = {http://dblp.uni-trier.de/db/conf/birthday/lifschitz2012.html#BaumannBDW12}, volume = 7265, year = 2012 }