Results 131 to 140 of about 20,200 (225)

The Clifford algebra of $R^{n,n}$ and the Boolean Satisfiability Problem [PDF]

, 2021
Marko Budinich
openalex   +1 more source

Solving Boolean satisfiability problems with resistive content addressable memories

npj Unconventional Computing
Solving optimization problems is a highly demanding workload requiring high-performance computing systems. Optimization solvers are usually difficult to parallelize in conventional digital architectures, particularly when stochastic decisions are involved.
Giacomo Pedretti, Fabian Böhm, Tinish Bhattacharya, Arne Heittmann, Xiangyi Zhang, Mohammad Hizzani, George Higgins Hutchinson, Dongseok Kwon, John Moon, Elisabetta Valiante, Ignacio Rozada, Catherine E. Graves, Jim Ignowski, Masoud Mohseni, John Paul Strachan, Dmitri B. Strukov, Raymond G. Beausoleil, Thomas Van Vaerenbergh   +17 more
openaire   +2 more sources

Efficient optimization with higher-order ising machines. [PDF]

Nat Commun, 2023
Bybee C, Kleyko D, Nikonov DE, Khosrowshahi A, Olshausen BA, Sommer FT.   +5 more
europepmc   +1 more source

SAT-GATv2: A Dynamic Attention-Based Graph Neural Network for Solving Boolean Satisfiability Problem [PDF]

Wenjing Chang, Wenlong Liu
openalex   +1 more source

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

, 2017
V.G. Bogdanova, S.A. Gorskiy
openalex   +1 more source

Synthesising Programs with Non-trivial Constants. [PDF]

J Autom Reason, 2023
Abate A, Barbosa H, Barrett C, David C, Kesseli P, Kroening D, Polgreen E, Reynolds A, Tinelli C.   +8 more
europepmc   +1 more source

Solving Boolean Satisfiability Problems Using A Hypergraph-based Probabilistic Computer [PDF]

Yihan He, Ming‐Chun Hong, Wanli Zheng, Shih, Ching, H. Felix Lee, Yi-Chih Hsin, Jeng−Hua Wei, Xiao Gong, Tuo‐Hung Hou, Gengchiau Liang   +9 more
openalex   +1 more source

Estimating the Density of States of Boolean Satisfiability Problems on\n Classical and Quantum Computing Platforms [PDF]

, 2019
Tuhin Sahai, Anurag Mishra, José Miguel Pasini, Susmit Jha   +3 more
openalex   +1 more source

WGT: Tools and algorithms for recognizing, visualizing, and generating Wheeler graphs. [PDF]

iScience, 2023
Chao KH, Chen PW, Seshia SA, Langmead B.
europepmc   +1 more source

Using Monte Carlo Method for Searching Partitionings of Hard Variants of Boolean Satisfiability Problem [PDF]

, 2015
Alexander Semenov, Oleg Zaikin
openalex   +1 more source