%0 Conference Paper %1 conf/wlp/BryM95 %A Bry, François %A Manthey, Rainer %B WLP %D 1995 %E Krall, Andreas %E Geske, Ulrich %K dblp %P 205-216 %T Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser. %U http://dblp.uni-trier.de/db/conf/wlp/wlp95.html#BryM95

@inproceedings{conf/wlp/BryM95, added-at = {2019-03-21T00:00:00.000+0100}, author = {Bry, François and Manthey, Rainer}, biburl = {https://www.bibsonomy.org/bibtex/2bdd19d85b26b73b41112f5035e9a012c/dblp}, booktitle = {WLP}, crossref = {conf/wlp/1995}, editor = {Krall, Andreas and Geske, Ulrich}, interhash = {db1a86aecf87b66d38a28dba157b40ee}, intrahash = {bdd19d85b26b73b41112f5035e9a012c}, keywords = {dblp}, pages = {205-216}, timestamp = {2019-03-22T11:37:36.000+0100}, title = {Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser.}, url = {http://dblp.uni-trier.de/db/conf/wlp/wlp95.html#BryM95}, year = 1995 }