Classical and quantum satisfiability

Quantum computation is the paradigm of computer science whe rein computations are treated as quantum physical processes. Basically, the interest on this paradi gm relies on the possibility that some problems may be solved more efficiently by quantum computers than by cl assical ones (Cf. [2]). To analyze the relationship between the capabilities of these… (More)