Go to the corresponding LIPIcs Volume Portal 
Chimani, Markus ; Wiedera, Tilo
pdfformat: 

@InProceedings{chimani_et_al:LIPIcs:2016:6380, author = {Markus Chimani and Tilo Wiedera}, title = {{An ILPbased Proof System for the Crossing Number Problem}}, booktitle = {24th Annual European Symposium on Algorithms (ESA 2016)}, pages = {29:129:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770156}, ISSN = {18688969}, year = {2016}, volume = {57}, editor = {Piotr Sankowski and Christos Zaroliagis}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6380}, URN = {urn:nbn:de:0030drops63803}, doi = {10.4230/LIPIcs.ESA.2016.29}, annote = {Keywords: automatic formal proof, crossing number, integer linear programming} }
Keywords:  automatic formal proof, crossing number, integer linear programming  
Collection:  24th Annual European Symposium on Algorithms (ESA 2016)  
Issue Date:  2016  
Date of publication:  18.08.2016 