1 of 8

X International conference�“Information Technology and Implementation” (IT&I-2023)�Kyiv, Ukraine

1

Quantum phase logic in Boolean formula satisfiability problems

Oleg Zaritskyi, National Aviation University�

Dedicated to the tenth anniversary of the Faculty of Information Technology

2 of 8

General formulation of SAT problems, existing approaches

Information Technology and Implementation, November 20, 2023, Taras Shevchenko National University of Kyiv, Kyiv, Ukraine

 

 

 

 

The DPLL (Davis-Putnam-Logemann-Loveland)

algorithm;

GSAT (Greedy SAT) algorithm;

CDCL solvers (conflict-driven clause learning)

3 of 8

Quantum phase logic. Algorithm for solving SAT problems using QPU

  •  

4 of 8

Quantum phase logic. Algorithm for solving SAT problems using QPU

  •  

5 of 8

Practical implementation of the 3-SAT problem in the quantum computing environment

6 of 8

Simulation results without AA scheme

7 of 8

Modeling using the mirror subcircuit of the AA circuit

 

8 of 8

Result of modelling