QILP-0: Constructing Observational Declarative Twins of Quantum Circuits
This paper introduces QXymb, a general framework for constructing observational declarative twins of quantum circuits, and develops QILP-0, its first complete order-0 specialization, which constructs a finite multi-valued propositional logic program from observed circuit behaviour within a declared observational scope.
Marina de la Cruz Echeandía, C. Alonso, Tony Ribeiro et al.
· 0 citations