Results 121 to 130 of about 1,182 (134)

Algorithms for four variants of the exact satisfiability problem

Theoretical Computer Science, 2004
Peter Jonsson, Richard Beigel
exaly  

Probabilistic Analysis of Two Heuristics for the 3-Satisfiability Problem

SIAM Journal on Computing, 1986
John Franco
exaly  

The Minimum Satisfiability Problem

SIAM Journal on Discrete Mathematics, 1994
Rajeev Kohli, Ramesh Krishnamurti, Prakash Mirchandani   +2 more
exaly  

Quantum Algorithms for Biomolecular Solutions of the Satisfiability Problem on a Quantum Machine

IEEE Transactions on Nanobioscience, 2008
Weng-Long Chang, Mang Feng, Minyi Guo
exaly  

Combining finite learning automata with GSAT for the satisfiability problem

Engineering Applications of Artificial Intelligence, 2010
Noureddine Bouhmala, Ole-Christoffer Granmo   +1 more
exaly  

An O(n2) algorithm for the satisfiability problem of a subset of propositional sentences in CNF that includes all horn sentences

Information Processing Letters, 1987
V Arvind
exaly  

Generic hardness of the Boolean satisfiability problem

Groups, Complexity, Cryptology, 2017
Alexander Rybalov
exaly  

An Incremental Branch-and-Bound Method for the Satisfiability Problem

INFORMS Journal on Computing, 1998
exaly  

Modified extremal optimization for the hard maximum satisfiability problem

Journal of Zhejiang University: Science C, 2011
Guo-Qiang Zeng, Yong-Zai Lu, Zeng Guo-Qiang   +2 more
exaly  

Probabilistic analysis of the pure literal heuristic for the satisfiability problem

Annals of Operations Research, 1984
John Franco, Franco John
exaly