%0 Journal Article %1 journals/soco/ManyaBE98 %A Manyà, Felip %A Béjar, Ramón %A Escalada-Imaz, Gonzalo %D 1998 %J Soft Comput. %K dblp %N 3 %P 116-123 %T The satisfiability problem in regular CNF-formulas. %U http://dblp.uni-trier.de/db/journals/soco/soco2.html#ManyaBE98 %V 2

@article{journals/soco/ManyaBE98, added-at = {2004-02-12T00:00:00.000+0100}, author = {Manyà, Felip and Béjar, Ramón and Escalada-Imaz, Gonzalo}, biburl = {https://www.bibsonomy.org/bibtex/25ddff986b47233840fb8245e01b1921e/dblp}, date = {2004-02-12}, description = {dblp}, ee = {http://dx.doi.org/10.1007/s005000050042}, interhash = {1cafdcda097da09fa44fda79e0d2d0d6}, intrahash = {5ddff986b47233840fb8245e01b1921e}, journal = {Soft Comput.}, keywords = {dblp}, number = 3, pages = {116-123}, timestamp = {2004-02-12T00:00:00.000+0100}, title = {The satisfiability problem in regular CNF-formulas.}, url = {http://dblp.uni-trier.de/db/journals/soco/soco2.html#ManyaBE98}, volume = 2, year = 1998 }