%0 Conference Paper %1 conf/sat/HeuleS13 %A Heule, Marijn %A Szeider, Stefan %B SAT %D 2013 %E Järvisalo, Matti %E Gelder, Allen Van %I Springer %K dblp %P 318-334 %T A SAT Approach to Clique-Width. %U http://dblp.uni-trier.de/db/conf/sat/sat2013.html#HeuleS13 %V 7962 %@ 978-3-642-39070-8

@inproceedings{conf/sat/HeuleS13, added-at = {2017-05-23T00:00:00.000+0200}, author = {Heule, Marijn and Szeider, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/272339d06df3bd9dabee935c19c57dce5/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_24}, interhash = {0ae833c9402744b51d142a2093825f3d}, intrahash = {72339d06df3bd9dabee935c19c57dce5}, isbn = {978-3-642-39070-8}, keywords = {dblp}, pages = {318-334}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:11:22.000+0200}, title = {A SAT Approach to Clique-Width.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2013.html#HeuleS13}, volume = 7962, year = 2013 }