%0 Journal Article %1 journals/ijfcs/DarmannDD18 %A Darmann, Andreas %A Döcker, Janosch %A Dorn, Britta %D 2018 %J Int. J. Found. Comput. Sci. %K dblp %N 6 %P 979-993 %T The Monotone Satisfiability Problem with Bounded Variable Appearances. %U http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs29.html#DarmannDD18 %V 29

@article{journals/ijfcs/DarmannDD18, added-at = {2019-03-12T00:00:00.000+0100}, author = {Darmann, Andreas and Döcker, Janosch and Dorn, Britta}, biburl = {https://www.bibsonomy.org/bibtex/2aa48d667a268da49220c92b91e03eccd/dblp}, ee = {https://doi.org/10.1142/S0129054118500168}, interhash = {c8f267c2eb1412f4274a60b1e282bd77}, intrahash = {aa48d667a268da49220c92b91e03eccd}, journal = {Int. J. Found. Comput. Sci.}, keywords = {dblp}, number = 6, pages = {979-993}, timestamp = {2019-03-13T11:39:19.000+0100}, title = {The Monotone Satisfiability Problem with Bounded Variable Appearances.}, url = {http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs29.html#DarmannDD18}, volume = 29, year = 2018 }