Results 91 to 100 of about 18,622 (181)

Testing Quantum Satisfiability. [PDF]

Commun Math Phys
Montanaro A, Shao C, Verdon D, Verdon D.
europepmc   +1 more source

An Backbone Guided Extremal Optimization Method for Solving the Hard Maximum Satisfiability Problem

, 2012
Guo‐Qiang Zeng, Chongwei Zheng, Zhengjiang Zhang, Yong-Zai Lu   +3 more
openalex   +1 more source

Special Issue Dedicated to the 16th International Symposium on Parameterized and Exact Computation. [PDF]

Algorithmica, 2022
Golovach PA, Zehavi M.
europepmc   +1 more source

Artificial Bee Colony in the Hopfield Network for Maximum \(k\)-Satisfiability Problem

, 2016
Mohd Shareduwan Mohd Kasihmuddin, Mohd. Asyraf Mansor, Saratha Sathasivam   +2 more
openalex   +2 more sources

The neural dynamics associated with computational complexity. [PDF]

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

Polynomial and Exact Solution to Maximum Satisfiability Problem

 We give a fully polynomial and exact solution to MAX-SAT problem, we also show that this problem is tractable within present state of automata theory  
openaire   +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

Solving Optimization Problems via Maximum Satisfiability: Encodings and Re-Encodings

, 2018
Jeremias Berg
openalex   +1 more source

Minimum uncertainty as Bayesian network model selection principle. [PDF]

BMC Bioinformatics
Gogoshin G, Rodin AS.
europepmc   +1 more source

Branch Location Problems with Maximum Satisfiability (preprint)

, 2020
Oleg Zaikin, Alexey Ignatiev, João Marques‐Silva   +2 more
openalex   +1 more source