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 | OA
de Beaudrap, N., & Gharibian, S. (2016). A Linear Time Algorithm for Quantum 2-SAT. In R. Raz (Ed.), Proceedings of the 31st Conference on Computational Complexity (CCC 2016) (Vol. 50, p. 27:1-17:21). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.CCC.2016.27
LibreCat | DOI | Download (ext.) | arXiv
 

Filters and Search Terms

keyword="limited backtracking"

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed