%0 Conference Paper %1 conf/splc/BerreP08 %A Berre, Daniel Le %A Parrain, Anne %B SPLC (2) %D 2008 %E Thiel, Steffen %E Pohl, Klaus %I Lero Int. Science Centre, University of Limerick, Ireland %K dblp %P 197-200 %T On SAT Technologies for Dependency Management and Beyond. %U http://dblp.uni-trier.de/db/conf/splc/splc2008w.html#BerreP08 %@ 978-1-905952-06-9

@inproceedings{conf/splc/BerreP08, added-at = {2009-03-10T00:00:00.000+0100}, author = {Berre, Daniel Le and Parrain, Anne}, biburl = {https://www.bibsonomy.org/bibtex/277499b922c347737823ea45626609472/dblp}, booktitle = {SPLC (2)}, crossref = {conf/splc/2008w}, date = {2009-03-10}, description = {dblp}, editor = {Thiel, Steffen and Pohl, Klaus}, interhash = {42e205d369aa44eeedb33da225d4eee3}, intrahash = {77499b922c347737823ea45626609472}, isbn = {978-1-905952-06-9}, keywords = {dblp}, pages = {197-200}, publisher = {Lero Int. Science Centre, University of Limerick, Ireland}, timestamp = {2009-03-11T11:32:57.000+0100}, title = {On SAT Technologies for Dependency Management and Beyond.}, url = {http://dblp.uni-trier.de/db/conf/splc/splc2008w.html#BerreP08}, year = 2008 }