Výsledky vyhledávání - (("boolean satisfiability problem") OR ("boolean satisfiability problems"))~

Solving Boolean Satisfiability Problems With The Quantum Approximate Optimization Algorithm Autor Boulebnane, Sami, Montanaro, Ashley

“…One of the most prominent application areas for quantum computers is solving hard constraint satisfaction and optimization problems. However, detailed analyses…”
Získat plný text

Machine Learning Methods in Solving the Boolean Satisfiability Problem Autor Guo, Wenxuan, Zhen, Hui-Ling, Li, Xijun, Luo, Wanqian, Yuan, Mingxuan, Jin, Yaohui, Yan, Junchi

“…This paper reviews the recent literature on solving the Boolean satisfiability problem (SAT…”
Získat plný text

Efficient solution of Boolean satisfiability problems with digital memcomputing Autor Bearden, Sean R. B., Pei, Yan Ru, Di Ventra, Massimiliano

“…Boolean satisfiability is a propositional logic problem of interest in multiple fields, e.g., physics, mathematics, and computer science. Beyond a field of…”
Získat plný text

Mapping between Spin-Glass Three-Dimensional (3D) Ising Model and Boolean Satisfiability Problem Autor Zhang, Zhidong

“…The common feature for a nontrivial hard problem is the existence of nontrivial topological structures, non-planarity graphs, nonlocalities, or long-range spin…”
Získat plný text

Engineering the development of quantum programs: Application to the Boolean satisfiability problem Autor Alonso, Diego, Sánchez, Pedro, Sánchez-Rubio, Francisco

“…•New method for automatic generation of quantum code from SAT equations.•New metamodel for representing quantum circuits.•Formulas for calculating the number…”
Získat plný text

Solving Boolean satisfiability problems with resistive content addressable memories Autor Pedretti, Giacomo, Böhm, Fabian, Bhattacharya, Tinish, Heittmann, Arne, Zhang, Xiangyi, Hizzani, Mohammad, Hutchinson, George, Kwon, Dongseok, Moon, John, Valiante, Elisabetta, Rozada, Ignacio, Graves, Catherine E., Ignowski, Jim, Mohseni, Masoud, Strachan, John Paul, Strukov, Dmitri, Beausoleil, Ray, Van Vaerenbergh, Thomas

“…Solving optimization problems is a highly demanding workload requiring high-performance computing systems. Optimization solvers are usually difficult to…”
Získat plný text

SAT-GATv2: A Dynamic Attention-Based Graph Neural Network for Solving Boolean Satisfiability Problem Autor Chang, Wenjing, Liu, Wenlong

“…We propose SAT-GATv2, a graph neural network (GNN)-based model designed to solve the Boolean satisfiability problem (SAT…”
Získat plný text

A Fully Integrated Mixed-Signal Compute-In-Memory Accelerator for Solving Arbitrary Order Boolean Satisfiability Problems Autor Bhattacharya, Tinish, Kwon, Dongseok, Hutchinson, George Higgins, Zhang, Xiangyi, Rozada, Ignacio, Strukov, Dmitri

“…This paper presents a mixed-signal In-Memory Computing (IMC) accelerator with 256 \times 128 10T bi-directional SRAM array in 55 nm CMOS process, for solving…”
Získat plný text

A quantum annealing approach for Boolean Satisfiability problem Autor Juexiao Su, Tianheng Tu, Lei He

“…Quantum annealing device has shown a great potential in solving discrete problems that are theoretically and empirically hard. Boolean Satisfiability (SAT)…”
Získat plný text

A Reconfigurable lsing Machine for Boolean Satisfiability Problems Featuring Many-Body Spin Interactions Autor Su, Yuqi, Kim, Tony Tae-Hyoung, Kim, Bongjin

“…Ising machines [1-6] have recently shown their unique capabilities in solving hard combinatorial optimization problems (COPs) intractable using conventional…”
Získat plný text

Generic hardness of the Boolean satisfiability problem Autor Rybalov, Alexander

“…It follows from the famous result of Cook about the NP-completeness of the Boolean satisfiability problem that there is no polynomial algorithm for this problem…”
Získat plný text

Classified enhancement model for big data storage reliability based on Boolean satisfiability problem Autor Huang, Hong, Khan, Latifur, Zhou, Shaohua

“…Disk reliability is a serious problem in the big data foundation environment. Although the reliability of disk drives has greatly improved over the past few…”
Získat plný text

Scalable parallel solver of boolean satisfiability problems Autor Bogdanova, V. G., Gorsky, S. A.

“…One of the current trends in high-performance computing (HPC) is applying its possibilities to solve the Boolean satisfiability problem (SAT…”
Získat plný text

Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions Autor Semenov, Alexander, Zaikin, Oleg

“…In this paper we propose an approach for constructing partitionings of hard variants of the Boolean satisfiability problem (SAT…”
Získat plný text

HPC-based parallel software for solving applied Boolean satisfiability problems Autor Bogdanova, V.G., Gorsky, S.A., Pashinin, A.A.

“… NP-complexity of the Boolean satisfiability problem actualizes the development of parallel software for solving it in a high-performance computing environment…”
Získat plný text

29.2 Snap-SAT: A One-Shot Energy-Performance-Aware All-Digital Compute-in-Memory Solver for Large-Scale Hard Boolean Satisfiability Problems Autor Xie, Shanshan, Yang, Mengtian, Lanham, S. Andrew, Wang, Yipeng, Wang, Meizhi, Oruganti, Sirish, Kulkarni, Jaydeep P.

“…Boolean satisfiability (SAT) is a non-deterministic polynomial time (NP)-complete problem with many practical and industrial data-intensive applications [1]…”
Získat plný text

ON GENERIC NP-COMPLETENESS OF THE BOOLEAN SATISFIABILITY PROBLEM Autor Rybalov, A. N.

Získat plný text

A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems Autor Chen, Qingshan, Xu, Yang, Liu, Jun, He, Xingxing

“…Clause learning is the key component of modern SAT solvers, while conflict analysis based on the implication graph is the mainstream technology to generate the…”
Získat plný text

Order-to-chaos transition in the hardness of random Boolean satisfiability problems Autor Varga, Melinda, Sumi, Róbert, Toroczkai, Zoltán, Ercsey-Ravasz, Mária

“…Transient chaos is a ubiquitous phenomenon characterizing the dynamics of phase-space trajectories evolving towards a steady-state attractor in physical…”
Zjistit podrobnosti o přístupu

Quantum Optimization with Arbitrary Connectivity Using Rydberg Atom Arrays Autor Nguyen, Minh-Thi, Liu, Jin-Guo, Wurtz, Jonathan, Lukin, Mikhail D., Wang, Sheng-Tao, Pichler, Hannes

“…Programmable quantum systems based on Rydberg atom arrays have recently been used for hardware-efficient tests of quantum optimization algorithms [Ebadi et…”
Získat plný text