Go to the corresponding LIPIcs Volume Portal 
Sakai, Takayuki ; Seto, Kazuhisa ; Tamaki, Suguru ; Teruyama, Junichi
pdfformat: 

@InProceedings{sakai_et_al:LIPIcs:2015:5574, author = {Takayuki Sakai and Kazuhisa Seto and Suguru Tamaki and Junichi Teruyama}, title = {{Improved Exact Algorithms for Mildly Sparse Instances of Max SAT}}, booktitle = {10th International Symposium on Parameterized and Exact Computation (IPEC 2015)}, pages = {90101}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897927}, ISSN = {18688969}, year = {2015}, volume = {43}, editor = {Thore Husfeldt and Iyad Kanj}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5574}, URN = {urn:nbn:de:0030drops55747}, doi = {10.4230/LIPIcs.IPEC.2015.90}, annote = {Keywords: maximum satisfiability, weighted, polynomial space, exponential space} }
Keywords:  maximum satisfiability, weighted, polynomial space, exponential space  
Collection:  10th International Symposium on Parameterized and Exact Computation (IPEC 2015)  
Issue Date:  2015  
Date of publication:  19.11.2015 