%0 Conference Paper %1 conf/sat/LonsingES16 %A Lonsing, Florian %A Egly, Uwe %A Seidl, Martina %B SAT %D 2016 %E Creignou, Nadia %E Berre, Daniel Le %I Springer %K dblp %P 435-452 %T Q-Resolution with Generalized Axioms. %U http://dblp.uni-trier.de/db/conf/sat/sat2016.html#LonsingES16 %V 9710 %@ 978-3-319-40969-6

@inproceedings{conf/sat/LonsingES16, added-at = {2017-05-23T00:00:00.000+0200}, author = {Lonsing, Florian and Egly, Uwe and Seidl, Martina}, biburl = {https://www.bibsonomy.org/bibtex/2c2574428772e56788684e6bdc4eba1cf/dblp}, booktitle = {SAT}, crossref = {conf/sat/2016}, editor = {Creignou, Nadia and Berre, Daniel Le}, ee = {https://doi.org/10.1007/978-3-319-40970-2_27}, interhash = {14eff965e804eaabf10ea5fa3104038f}, intrahash = {c2574428772e56788684e6bdc4eba1cf}, isbn = {978-3-319-40969-6}, keywords = {dblp}, pages = {435-452}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:11:16.000+0200}, title = {Q-Resolution with Generalized Axioms.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2016.html#LonsingES16}, volume = 9710, year = 2016 }