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.
2 Publications
2018 | Conference Paper | LibreCat-ID: 8162 | 
M. Aldi, N. de Beaudrap, S. Gharibian, and S. Saeedi, “On Efficiently Solvable Cases of Quantum k-SAT,” in 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), Liverpool, UK, 2018, vol. 117, p. 38:1-38:16, doi: 10.4230/LIPIcs.MFCS.2018.38.
LibreCat
| DOI
| Download (ext.)
| arXiv
2016 | Conference Paper | LibreCat-ID: 8159 |
N. de Beaudrap and S. Gharibian, “A Linear Time Algorithm for Quantum 2-SAT,” in Proceedings of the 31st Conference on Computational Complexity (CCC 2016), Tokyo, Japan, 2016, vol. 50, p. 27:1–17:21, doi: 10.4230/LIPIcs.CCC.2016.27.
LibreCat
| DOI
| Download (ext.)
| arXiv