Results 171 to 180 of about 1,567 (182)

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  

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

Smten with satisfiability-based search

ACM SIGPLAN Notices, 2014
exaly  

Testing satisfiability, finding satisfying assignment

2009
openaire   +1 more source

New algorithms for Exact Satisfiability

Theoretical Computer Science, 2005
exaly  

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

INFORMS Journal on Computing, 1998
exaly