%0 Journal Article %1 journals/jar/MeierS05 %A Meier, Andreas %A Sorge, Volker %D 2005 %J J. Autom. Reason. %K dblp %N 1-3 %P 201-235 %T Applying SAT Solving in Classification of Finite Algebras. %U http://dblp.uni-trier.de/db/journals/jar/jar35.html#MeierS05 %V 35

@article{journals/jar/MeierS05, added-at = {2020-09-02T00:00:00.000+0200}, author = {Meier, Andreas and Sorge, Volker}, biburl = {https://www.bibsonomy.org/bibtex/27d7b10393df2930d27ea8554e8213a03/dblp}, ee = {https://doi.org/10.1007/s10817-005-9003-0}, interhash = {d0bdd3668708739c56a3a4ac0209afc7}, intrahash = {7d7b10393df2930d27ea8554e8213a03}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = {1-3}, pages = {201-235}, timestamp = {2020-09-09T13:34:35.000+0200}, title = {Applying SAT Solving in Classification of Finite Algebras.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar35.html#MeierS05}, volume = 35, year = 2005 }