Go to the corresponding LIPIcs Volume Portal 
Lagerkvist, Victor ; Roy, Biman
pdfformat: 

@InProceedings{lagerkvist_et_al:LIPIcs:2018:8374, author = {Victor Lagerkvist and Biman Roy}, title = {{A Dichotomy Theorem for the Inverse Satisfiability Problem}}, booktitle = {37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017)}, pages = {39:3939:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770552}, ISSN = {18688969}, year = {2018}, volume = {93}, editor = {Satya Lokam and R. Ramanujam}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2018/8374}, URN = {urn:nbn:de:0030drops83745}, doi = {10.4230/LIPIcs.FSTTCS.2017.39}, annote = {Keywords: Complexity Theory, Inverse Satisfiability, Clone Theory} }
Keywords:  Complexity Theory, Inverse Satisfiability, Clone Theory  
Collection:  37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017)  
Issue Date:  2018  
Date of publication:  12.02.2018 