%0 Journal Article %1 journals/mst/SakaiST15 %A Sakai, Takayuki %A Seto, Kazuhisa %A Tamaki, Suguru %D 2015 %J Theory Comput. Syst. %K dblp %N 2 %P 426-443 %T Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction. %U http://dblp.uni-trier.de/db/journals/mst/mst57.html#SakaiST15 %V 57

@article{journals/mst/SakaiST15, added-at = {2023-09-30T00:00:00.000+0200}, author = {Sakai, Takayuki and Seto, Kazuhisa and Tamaki, Suguru}, biburl = {https://www.bibsonomy.org/bibtex/2c6d33e8c80659dc6f964a19c26c4c28e/dblp}, ee = {https://doi.org/10.1007/s00224-014-9600-6}, interhash = {5c21727c12d1e5043ea18cbec6b1c340}, intrahash = {c6d33e8c80659dc6f964a19c26c4c28e}, journal = {Theory Comput. Syst.}, keywords = {dblp}, number = 2, pages = {426-443}, timestamp = {2024-04-08T20:53:34.000+0200}, title = {Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction.}, url = {http://dblp.uni-trier.de/db/journals/mst/mst57.html#SakaiST15}, volume = 57, year = 2015 }