%0 Journal Article %1 journals/ipl/Madsen06 %A Madsen, Bolette Ammitzbøll %D 2006 %J Inf. Process. Lett. %K dblp %N 1 %P 28-30 %T An algorithm for Exact Satisfiability analysed with the number of clauses as parameter. %U http://dblp.uni-trier.de/db/journals/ipl/ipl97.html#Madsen06 %V 97

@article{journals/ipl/Madsen06, added-at = {2006-04-26T00:00:00.000+0200}, author = {Madsen, Bolette Ammitzbøll}, biburl = {https://www.bibsonomy.org/bibtex/2d54f1970847ff3f8e716dbb72ff96887/dblp}, date = {2006-04-26}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.ipl.2005.08.011}, interhash = {55f6f971fd134f2547517306bff9b89b}, intrahash = {d54f1970847ff3f8e716dbb72ff96887}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = 1, pages = {28-30}, timestamp = {2006-04-26T00:00:00.000+0200}, title = {An algorithm for Exact Satisfiability analysed with the number of clauses as parameter.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl97.html#Madsen06}, volume = 97, year = 2006 }