%0 Journal Article %1 journals/tcs/FellowsSW06 %A Fellows, Michael R. %A Szeider, Stefan %A Wrightson, Graham %D 2006 %J Theor. Comput. Sci. %K dblp %N 3 %P 351-359 %T On finding short resolution refutations and small unsatisfiable subsets. %U http://dblp.uni-trier.de/db/journals/tcs/tcs351.html#FellowsSW06 %V 351

@article{journals/tcs/FellowsSW06, added-at = {2021-02-17T00:00:00.000+0100}, author = {Fellows, Michael R. and Szeider, Stefan and Wrightson, Graham}, biburl = {https://www.bibsonomy.org/bibtex/21f6ef8ad8edf3a9a8aaaf0c40b79c1f1/dblp}, ee = {https://www.wikidata.org/entity/Q57359981}, interhash = {ed90907f0c5f8f4a91b30f3d4731b635}, intrahash = {1f6ef8ad8edf3a9a8aaaf0c40b79c1f1}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {351-359}, timestamp = {2024-04-08T18:45:57.000+0200}, title = {On finding short resolution refutations and small unsatisfiable subsets.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs351.html#FellowsSW06}, volume = 351, year = 2006 }