Results 141 to 150 of about 62,255 (228)

SMC: Satisfiability Modulo Convex Optimization

International Conference on Hybrid Systems: Computation and Control, 2017
Yasser Shoukry, P. Nuzzo, A. Sangiovanni-Vincentelli, S. Seshia, George Pappas, P. Tabuada   +5 more
semanticscholar   +1 more source

Solving the B-SAT Problem Using Quantum Computing: Smaller Is Sometimes Better. [PDF]

Entropy (Basel)
Bennakhi A, Byrd GT, Franzon P.
europepmc   +1 more source

The neural dynamics associated with computational complexity. [PDF]

PLoS Comput Biol
Franco JP, Bossaerts P, Murawski C.
europepmc   +1 more source

Initial Solution Generation and Diversified Variable Picking in Local Search for (Weighted) Partial MaxSAT. [PDF]

Entropy (Basel), 2022
Zhang Z, Zhou J, Wang X, Yang H, Fan Y.
europepmc   +1 more source

How large language models need symbolism. [PDF]

Natl Sci Rev
Deng X, Li H.
europepmc   +1 more source

Satisfiability Modulo Heap-Based Programs

International Conference on Computer Aided Verification, 2016
Quang Loc Le, Jun Sun, W. Chin
semanticscholar   +1 more source

Predicting the satisfiability of Boolean formulas by incorporating gated recurrent unit (GRU) in the Transformer framework. [PDF]

PeerJ Comput Sci
Chang W, Guo M, Luo J.
europepmc   +1 more source

A new paradox for well-being subjectivism. [PDF]

Analysis, 2023
Davies B.
europepmc   +1 more source

Combining greedy and evolutionary algorithms to maximize influence in networks under deterministic linear threshold model. [PDF]

PLoS One
Andreev A, Kochemazov S, Semenov A.
europepmc   +1 more source

Complete realization of energy landscapes and non-equilibrium trapping dynamics in small spin glass and optimization problems. [PDF]

Sci Rep
Po HF, Yeung CH.
europepmc   +1 more source