×

Found 36 Documents (Results 1–36)

Average-case polynomial-time computability of Hamiltonian dynamics. (English) Zbl 1512.03059

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 30, 17 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday. (English) Zbl 1284.03016

Lecture Notes in Computer Science 8222. Berlin: Springer (ISBN 978-3-642-54788-1/pbk). xii, 421 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

The phase transition in the random HornSAT problem. (English) Zbl 1156.82347

Percus, Allon (ed.) et al., Computational complexity and statistical physics. Selected papers based on the presentation at the workshops on computational complexity and statistical physics, Santa Fe, NM, USA, September 2001, and phase transition and algorithmic complexity, Los Angeles, CA, USA, June 2002. Oxford: Oxford University Press (ISBN 0-19-517738-X/pbk). Santa Fe Institute Studies in the Sciences of Complexity, 195-220 (2006).
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software