Results 101 to 110 of about 770 (181)

SPABBATS: A pathway-discovery method based on Boolean satisfiability that facilitates the characterization of suppressor mutants. [PDF]

BMC Syst Biol, 2011
Flórez LA, Gunka K, Polanía R, Tholen S, Stülke J.   +4 more
europepmc   +1 more source

Accelerating hybrid XOR-CNF Boolean satisfiability problems natively with in-memory computing. [PDF]

Nat Commun
Im H, Böhm F, Pedretti G, Kushida N, Noori M, Valiante E, Zhang X, Yang CW, Bhattacharya T, Sheng X, Ignowski J, Heittmann A, Strachan JP, Mohseni M, Beausoleil R, Vaerenbergh TV, Rozada I.   +16 more
europepmc   +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

Parameterized Complexities of Dominating and Independent Set Reconfiguration. [PDF]

Algorithmica
Bodlaender HL, Groenland C, Swennenhuis CMF.   +2 more
europepmc   +1 more source

Combinatorial optimization with Kerr solitons. [PDF]

Sci Adv
Jin Y, Chauhan N, Zang J, Edwards B, Chaudhari P, Aflatouni F, Papp SB.   +6 more
europepmc   +1 more source

A dataset of DIMACS formulas derived from Kconfig models for research on highly configurable software. [PDF]

Data Brief
Heradio R, Cerrada C, Abad I, Aranda E, Escribano JJ, Fernandez-Amoros D.   +5 more
europepmc   +1 more source

Task-independent metrics of computational hardness predict human cognitive performance. [PDF]

Sci Rep, 2022
Franco JP, Doroc K, Yadav N, Bossaerts P, Murawski C.   +4 more
europepmc   +1 more source

BioLogical: a universal analysis framework for biosystem logical dynamics. [PDF]

Comput Struct Biotechnol J
Yao Y, Liu D, Zhang Z, Zhao C, Pei D.
europepmc   +1 more source

Advancing stochastic 3-SAT solvers by dissipating oversatisfied constraints. [PDF]

Proc Natl Acad Sci U S A
Schwardt J, Budich JC.
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