Results 201 to 210 of about 62,255 (228)

Satisfiability

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

EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties

International Conference on Computer Aided Verification, 2017
B. Finkbeiner, Christopher Hahn, Marvin Stenger   +2 more
semanticscholar   +1 more source

Testing satisfiability, finding satisfying assignment

2009
openaire   +2 more sources

A quantum annealing approach for Boolean Satisfiability problem

Design Automation Conference, 2016
J. Su, Tianheng Tu, Lei He
semanticscholar   +1 more source

Satisfiability

2012
Michael Genesereth, Eric Kao
openaire   +1 more source

On the Satisfiability of Some Simple Probabilistic Logics

Logic in Computer Science, 2016
Souymodip Chakraborty, J. Katoen
semanticscholar   +1 more source

Satisfied

The American Journal of Nursing, 1953
openaire   +1 more source

Do Satisfied Employees Mean Satisfied Customers?

Academy of Management Perspectives, 2009
openaire   +1 more source

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

Building Bridges between Symbolic Computation and Satisfiability Checking

International Symposium on Symbolic and Algebraic Computation, 2015
E. Ábrahám
semanticscholar   +1 more source