Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024.- Proceedings, Part VI.

Detalles Bibliográficos
Autores: Rodríguez-Farrés, Pol, Ballester, Rocco, Ansótegui, Carlos, Levy, Jordi, Cerquides, Jesús
Tipo de recurso: otro
Estado:Versión aceptada para publicación
Fecha de publicación:2024
País:España
Institución:Consejo Superior de Investigaciones Científicas (CSIC)
Repositorio:DIGITAL.CSIC. Repositorio Institucional del CSIC
OAI Identifier:oai:digital.csic.es:10261/378133
Acceso en línea:http://hdl.handle.net/10261/378133
https://api.elsevier.com/content/abstract/scopus_id/85200233327
Access Level:acceso abierto
Palabra clave:Quantum annealing
Satisfiability
Optimization
id ES_82fd4338dc1836fd17e8dff3d0e89504
oai_identifier_str oai:digital.csic.es:10261/378133
network_acronym_str ES
network_name_str España
repository_id_str
spelling Implementing 3-SAT Gadgets for Quantum Annealers with Random InstancesRodríguez-Farrés, PolBallester, RoccoAnsótegui, CarlosLevy, JordiCerquides, JesúsQuantum annealingSatisfiabilityOptimizationThe 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024.- Proceedings, Part VI.The Maximum Boolean Satisfiability Problem (also known as the Max-SAT problem) is the problem of determining the maximum number of disjunctive clauses that can be satisfied (i.e., made true) by an assignment of truth values to the formula’s variables. This is a generalization of the well-known Boolean Satisfiability Problem (also known as the SAT problem), the first problem that was proven to be NP-complete. With the proliferation of quantum computing, a current approach to tackle this optimization problem is Quantum Annealing (QA). In this work, we compare several gadgets that translate 3-SAT problems into Quadratic Unconstrained Binary Optimization (QUBO) problems to be able to solve them in a quantum annealer. We show the performance superiority of the not-yet-considered gadgets in comparison to state-of-the-art approaches when solving random instances in D-Wave’s quantum annealer.This work was founded partially by the Government of Catalonia Exp. Num. 2023 DI 00071, by Enzyme Advising Group under the development of an industrial PhD on Quantum Machine Learning, by CSIC’s JAE Intro JAEICU_23_00782 and by grant PID2022-136787NB-I00 funded by MCIN/AEI/10.13039/501100011033. Jesus Cerquides is funded by European Union KHealthInAir, GUARDEN, and Humane-AI projects with No. 101057693, 101060693, and 952026.Peer reviewedSpringer NatureGeneralitat de CatalunyaAgencia Estatal de Investigación (España)Ministerio de Ciencia e Innovación (España)European CommissionRodríguez-Farrés, Pol [0009-0001-9966-491X]Ansótegui, Carlos [0000-0001-7727-2766]Cerquides, Jesús [0000-0002-3752-644X]Consejo Superior de Investigaciones Científicas [https://ror.org/02gfc7t72]202520252024info:eu-repo/semantics/otherhttp://purl.org/coar/resource_type/c_3248Postprintinfo:eu-repo/semantics/acceptedVersioninfo:eu-repo/semantics/bookPartapplication/pdfhttp://hdl.handle.net/10261/378133https://api.elsevier.com/content/abstract/scopus_id/85200233327reponame:DIGITAL.CSIC. Repositorio Institucional del CSICinstname:Consejo Superior de Investigaciones Científicas (CSIC)Inglés#PLACEHOLDER_PARENT_METADATA_VALUE##PLACEHOLDER_PARENT_METADATA_VALUE##PLACEHOLDER_PARENT_METADATA_VALUE##PLACEHOLDER_PARENT_METADATA_VALUE#info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2021-2023/PID2022-136787NB-I00info:eu-repo/grantAgreement/EC/HE/101057693info:eu-repo/grantAgreement/EC/HE/101060693info:eu-repo/grantAgreement/EC/H2020/952026Lecture Notes in Computer Science14837Lecture Notes in Artificial IntelligenceLecture Notes in Bioinformaticshttps://doi.org/10.1007/978-3-031-63778-0_20Síinfo:eu-repo/semantics/openAccessoai:digital.csic.es:10261/3781332026-05-22T06:33:51Z
dc.title.none.fl_str_mv Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances
title Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances
spellingShingle Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances
Rodríguez-Farrés, Pol
Quantum annealing
Satisfiability
Optimization
title_short Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances
title_full Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances
title_fullStr Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances
title_full_unstemmed Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances
title_sort Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances
dc.creator.none.fl_str_mv Rodríguez-Farrés, Pol
Ballester, Rocco
Ansótegui, Carlos
Levy, Jordi
Cerquides, Jesús
author Rodríguez-Farrés, Pol
author_facet Rodríguez-Farrés, Pol
Ballester, Rocco
Ansótegui, Carlos
Levy, Jordi
Cerquides, Jesús
author_role author
author2 Ballester, Rocco
Ansótegui, Carlos
Levy, Jordi
Cerquides, Jesús
author2_role author
author
author
author
dc.contributor.none.fl_str_mv Generalitat de Catalunya
Agencia Estatal de Investigación (España)
Ministerio de Ciencia e Innovación (España)
European Commission
Rodríguez-Farrés, Pol [0009-0001-9966-491X]
Ansótegui, Carlos [0000-0001-7727-2766]
Cerquides, Jesús [0000-0002-3752-644X]
Consejo Superior de Investigaciones Científicas [https://ror.org/02gfc7t72]
dc.subject.none.fl_str_mv Quantum annealing
Satisfiability
Optimization
topic Quantum annealing
Satisfiability
Optimization
description The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024.- Proceedings, Part VI.
publishDate 2024
dc.date.none.fl_str_mv 2024
2025
2025
dc.type.none.fl_str_mv info:eu-repo/semantics/other
http://purl.org/coar/resource_type/c_3248
Postprint
info:eu-repo/semantics/acceptedVersion
dc.type.openaire.fl_str_mv info:eu-repo/semantics/bookPart
format other
status_str acceptedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/10261/378133
https://api.elsevier.com/content/abstract/scopus_id/85200233327
url http://hdl.handle.net/10261/378133
https://api.elsevier.com/content/abstract/scopus_id/85200233327
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv #PLACEHOLDER_PARENT_METADATA_VALUE#
#PLACEHOLDER_PARENT_METADATA_VALUE#
#PLACEHOLDER_PARENT_METADATA_VALUE#
#PLACEHOLDER_PARENT_METADATA_VALUE#
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2021-2023/PID2022-136787NB-I00
info:eu-repo/grantAgreement/EC/HE/101057693
info:eu-repo/grantAgreement/EC/HE/101060693
info:eu-repo/grantAgreement/EC/H2020/952026
Lecture Notes in Computer Science
14837
Lecture Notes in Artificial Intelligence
Lecture Notes in Bioinformatics
https://doi.org/10.1007/978-3-031-63778-0_20
Sí
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Springer Nature
publisher.none.fl_str_mv Springer Nature
dc.source.none.fl_str_mv reponame:DIGITAL.CSIC. Repositorio Institucional del CSIC
instname:Consejo Superior de Investigaciones Científicas (CSIC)
instname_str Consejo Superior de Investigaciones Científicas (CSIC)
reponame_str DIGITAL.CSIC. Repositorio Institucional del CSIC
collection DIGITAL.CSIC. Repositorio Institucional del CSIC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869412101077860352
score 15,812429

Similares en LA Referencia