Results 191 to 200 of about 44,520 (208)

Analytic and Algorithmic Solution of Random Satisfiability Problems

Science, 2002
M Mezard, Giorgio Parisi, Riccardo Zecchina   +2 more
exaly  

Satisfiability problems for propositional calculi

Mathematical Systems Theory, 1979
Harry R Lewis
exaly  

CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability

Artificial Intelligence, 2017
Chuan Luo, Shaowei Cai, Kaile Su
exaly  

The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies

SIAM Journal on Computing, 2009
Phokion G Kolaitis, Elitza Maneva, Christos H Papadimitriou   +2 more
exaly  

Metalevel algorithms for variant satisfiability

Journal of Logical and Algebraic Methods in Programming, 2018
José Meseguer
exaly  

Time-space lower bounds for satisfiability

Journal of the ACM, 2005
Lance Fortnow, Dieter Van Melkebeek
exaly  

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

INFORMS Journal on Computing, 1998
Hachemi Bennaceur
exaly  

Do satisfied patients depend on satisfied employees? Or, do satisfied employees depend on satisfied patients?

QRC advisor, 1999
D O, Kaldenberg, B A, Regrut
openaire   +1 more source

Satisfiability

1974
J. N. Crossley, Anil Nerode
openaire   +1 more source

Not satisfied

Nursing Standard, 1988
openaire   +1 more source