Engineering the development of quantum programs: Application to the Boolean satisfiability problem

•New method for automatic generation of quantum code from SAT equations.•New metamodel for representing quantum circuits.•Formulas for calculating the number of required quantum elements from SAT equations are provided.•Flexible and expandable architecture to target multiple quantum languages.•Succe...

Full description

Bibliographic Details

Published in:	Advances in engineering software (1992) Vol. 173; p. 103216
Main Authors:	Alonso, Diego, Sánchez, Pedro, Sánchez-Rubio, Francisco
Format:	Journal Article
Language:	English
Published:	Elsevier Ltd 01.11.2022
Subjects:	Boolean satisfiability Model-driven engineering Quantum computing Model-driven engineering Quantum computing QC SAT CNF Boolean satisfiability MDE
ISSN:	0965-9978
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!