Wang, Yazhen; Wu, Shang; Zou, Jian Quantum annealing with Markov chain Monte Carlo simulations and D-wave quantum computers. (English) Zbl 1442.81020 Stat. Sci. 31, No. 3, 362-398 (2016). MSC: 81P68 60J22 62P35 PDFBibTeX XMLCite \textit{Y. Wang} et al., Stat. Sci. 31, No. 3, 362--398 (2016; Zbl 1442.81020) Full Text: DOI Euclid
Radhakrishnan, Jaikumar; Sen, Pranab; Venkatesh, S. The quantum complexity of set membership. (English) Zbl 1050.68031 Algorithmica 34, No. 4, 462-479 (2002). MSC: 68P05 81P68 68Q25 PDFBibTeX XMLCite \textit{J. Radhakrishnan} et al., Algorithmica 34, No. 4, 462--479 (2002; Zbl 1050.68031) Full Text: DOI
von Issendorff, H. Time and logic: A calculus of binary events. (English) Zbl 0827.03010 Computing 54, No. 3, 227-240 (1995). Reviewer: C.Masalagiu (Iaşi) MSC: 03B45 68Q10 68Q60 03B50 PDFBibTeX XMLCite \textit{H. von Issendorff}, Computing 54, No. 3, 227--240 (1995; Zbl 0827.03010) Full Text: DOI
Larsen, Kim G.; Milner, Robin A compositional protocol verification using relativized bisimulation. (English) Zbl 0753.68067 Inf. Comput. 99, No. 1, 80-108 (1992). MSC: 68Q60 68Q10 68M10 PDFBibTeX XMLCite \textit{K. G. Larsen} and \textit{R. Milner}, Inf. Comput. 99, No. 1, 80--108 (1992; Zbl 0753.68067) Full Text: DOI
Renegar, James On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination. (English) Zbl 0798.68073 J. Symb. Comput. 13, No. 3, 329-352 (1992). MSC: 68Q25 14P10 03C10 03B25 PDFBibTeX XMLCite \textit{J. Renegar}, J. Symb. Comput. 13, No. 3, 329--352 (1992; Zbl 0798.68073) Full Text: DOI