Generalized satisfiability problems via operator assignments

DOI10.1007/978-3-662-55751-8_6zbMath1495.68155OpenAlexW2607063400MaRDI QIDQ5915756

Phokion G. Kolaitis, Simone Severini, Albert Atserias

Publication date: 22 November 2017

Published in: Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2117/134848

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Operators on Hilbert spaces (general) (47B02) Computational aspects of satisfiability (68R07)

Related Items (1)

Quantum logic is undecidable

This page was built for publication: Generalized satisfiability problems via operator assignments