%0 Conference Paper %1 conf/iwpec/SakaiSTT15 %A Sakai, Takayuki %A Seto, Kazuhisa %A Tamaki, Suguru %A Teruyama, Junichi %B IPEC %D 2015 %E Husfeldt, Thore %E Kanj, Iyad A. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 90-101 %T Improved Exact Algorithms for Mildly Sparse Instances of Max SAT. %U http://dblp.uni-trier.de/db/conf/iwpec/ipec2015.html#SakaiSTT15 %V 43 %@ 978-3-939897-92-7

@inproceedings{conf/iwpec/SakaiSTT15, added-at = {2023-09-30T00:00:00.000+0200}, author = {Sakai, Takayuki and Seto, Kazuhisa and Tamaki, Suguru and Teruyama, Junichi}, biburl = {https://www.bibsonomy.org/bibtex/222676053b4325cb3e3b58ca7254e4a77/dblp}, booktitle = {IPEC}, crossref = {conf/iwpec/2015}, editor = {Husfeldt, Thore and Kanj, Iyad A.}, ee = {https://doi.org/10.4230/LIPIcs.IPEC.2015.90}, interhash = {bfbc5ab130bdefcbdc1ae005dc19f3ca}, intrahash = {22676053b4325cb3e3b58ca7254e4a77}, isbn = {978-3-939897-92-7}, keywords = {dblp}, pages = {90-101}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T15:35:05.000+0200}, title = {Improved Exact Algorithms for Mildly Sparse Instances of Max SAT.}, url = {http://dblp.uni-trier.de/db/conf/iwpec/ipec2015.html#SakaiSTT15}, volume = 43, year = 2015 }