Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1 Publication
2016 | Conference Paper | LibreCat-ID: 8159 | 
Beaudrap, Niel de, and Sevag Gharibian. “A Linear Time Algorithm for Quantum 2-SAT.” In Proceedings of the 31st Conference on Computational Complexity (CCC 2016), edited by Ran Raz, 50:27:1-17:21. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. https://doi.org/10.4230/LIPIcs.CCC.2016.27.
LibreCat
| DOI
| Download (ext.)
| arXiv