Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I

Diogo Fernandes; Inês Dutra

doi:10.1145/3358251

Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I

XRDS Crossroads The ACM Magazine for Students ◽

10.1145/3358251 ◽

2019 ◽

Vol 26 (1) ◽

pp. 64-66

Author(s):

Diogo Fernandes ◽

Inês Dutra

Keyword(s):

Quantum Algorithm ◽

Boolean Satisfiability ◽

Satisfiability Problems

Download Full-text

Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2

XRDS Crossroads The ACM Magazine for Students ◽

10.1145/3368085 ◽

2019 ◽

Vol 26 (2) ◽

pp. 68-71

Author(s):

Diogo Fernandes ◽

Carla Silva ◽

Inês Dutra

Keyword(s):

Quantum Algorithm ◽

Boolean Satisfiability ◽

Satisfiability Problems

Download Full-text

Erratum: Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2

XRDS Crossroads The ACM Magazine for Students ◽

10.1145/3386233 ◽

2020 ◽

Vol 26 (3) ◽

pp. 57-57

Author(s):

Diogo Fernandes ◽

Carla Silva ◽

Inês Dutra

Keyword(s):

Quantum Algorithm ◽

Boolean Satisfiability ◽

Satisfiability Problems

Download Full-text

Detecting data store access conflict in Simulink by solving Boolean satisfiability problems

Proceedings of the 2010 American Control Conference ◽

10.1109/acc.2010.5531137 ◽

2010 ◽

Author(s):

Zhi Han ◽

Pieter J Mosterman

Keyword(s):

Boolean Satisfiability ◽

Satisfiability Problems ◽

Data Store

Download Full-text

A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems

International Journal of Computational Intelligence Systems ◽

10.2991/ijcis.2017.10.1.55 ◽

2017 ◽

Vol 10 (1) ◽

pp. 824

Author(s):

Qingshan Chen ◽

Yang Xu ◽

Jun Liu ◽

Xingxing He

Keyword(s):

Learning Algorithm ◽

Boolean Satisfiability ◽

Logical Deduction ◽

Satisfiability Problems ◽

Clause Learning

Download Full-text

EVALUATION OF SERVICE-ORIENTED APPLICATION SCALABILITY FOR SOLVING BOOLEAN SATISFIABILITY PROBLEMS

Фундаментальные исследования (Fundamental Research) ◽

10.17513/fr.41974 ◽

2017 ◽

Vol 1 (№12 2017) ◽

pp. 25-32

Author(s):

V.G. Bogdanova ◽

S.A. Gorskiy

Keyword(s):

Boolean Satisfiability ◽

Satisfiability Problems ◽

Service Oriented

Download Full-text

The approximability of non-Boolean satisfiability problems and restricted integer programming

Theoretical Computer Science ◽

10.1016/j.tcs.2004.10.014 ◽

2005 ◽

Vol 332 (1-3) ◽

pp. 123-139 ◽

Cited By ~ 4

Author(s):

Maria Serna ◽

Luca Trevisan ◽

Fatos Xhafa

Keyword(s):

Integer Programming ◽

Boolean Satisfiability ◽

Satisfiability Problems

Download Full-text

A NN algorithm for Boolean satisfiability problems

Proceedings of International Conference on Neural Networks (ICNN'96) ◽

10.1109/icnn.1996.549055 ◽

2002 ◽

Cited By ~ 1

Author(s):

W.M. Spears

Keyword(s):

Boolean Satisfiability ◽

Satisfiability Problems

Download Full-text

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-19835-9_14 ◽

2011 ◽

pp. 158-172 ◽

Cited By ~ 1

Author(s):

Tino Teige ◽

Martin Fränzle

Keyword(s):

Boolean Satisfiability ◽

Craig Interpolation ◽

Satisfiability Problems

Download Full-text

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability

Logical Methods in Computer Science ◽

10.2168/lmcs-8(2:16)2012 ◽

2012 ◽

Vol 8 (2) ◽

Cited By ~ 3

Author(s):

Tino Teige ◽

Martin Fränzle

Keyword(s):

Boolean Satisfiability ◽

Craig Interpolation ◽

Satisfiability Problems

Download Full-text

Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings

Journal of Automated Reasoning ◽

10.1007/s10817-005-9011-0 ◽

2006 ◽

Vol 35 (1-3) ◽

pp. 143-179 ◽

Cited By ~ 10

Author(s):

Alan M. Frisch ◽

Timothy J. Peugniez ◽

Anthony J. Doggett ◽

Peter W. Nightingale

Keyword(s):

Local Search ◽

Boolean Satisfiability ◽

Stochastic Local Search ◽

Satisfiability Problems

Download Full-text