Results 211 to 220 of about 62,255 (228)

Are They Satisfied?

Journal of the American Society of Echocardiography, 2007
openaire   +2 more sources

Efficient conflict driven learning in a Boolean satisfiability solver

IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281), 2001
Lintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, S. Malik   +3 more
semanticscholar   +1 more source

Bounded Model Checking Using Satisfiability Solving

Formal Methods Syst. Des., 2001
E. Clarke, Armin Biere, R. Raimi, Yunshan Zhu   +3 more
semanticscholar   +1 more source

Learning satisfying medicine

Journal of Chronic Diseases, 1983
openaire   +2 more sources

Checking Satisfiability

2021
Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler   +3 more
openaire   +1 more source

Creating Satisfied Clients

Clinical Nurse Specialist, 2014
openaire   +2 more sources

satisfying, n.

2023
openaire   +1 more source

Satisfied

openaire   +1 more source

Fuzzy satisfiability

Third International Conference on Industrial Fuzzy Control and Intelligent Systems, 2002
openaire   +1 more source

STUDY SHOWS SATISFIED EMPLOYEES PREDICT SATISFIED FAMILIES

Activities, Adaptation & Aging, 2005
openaire   +1 more source