Keyword:Interference

Papers
Parallelism Evaluation of Quantum Computing Comparing with Classical Computation Systems Mohammed Hamada and Mohammed Mikki EasyChair Preprint no. 5911
A Theory of Satisfiability-Preserving Proofs in SAT Solving Adrián Rebola-Pardo and Martin Suda In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning