Results 211 to 220 of about 18,245 (221)

The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies

SIAM Journal on Computing, 2009
Phokion Kolaitis, Elitza Maneva
exaly  

Time-Space Lower Bounds for Satisfiability

Journal of the ACM, 2005
Lance Fortnow, Dieter van Melkebeek, Richard Lipton   +2 more
exaly  

Analytic and Algorithmic Solution of Random Satisfiability Problems

Science, 2002
Giorgio Parisi, Riccardo Zecchina, Marc Mézard   +2 more
exaly  

Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions

ACM Transactions on Computational Logic, 2018
Ahmed Irfan, Marco Roveri, Roberto Sebastiani   +2 more
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 CHECKING

2014
LI GUODONG, GHOSH INDRADEEP, RAJAN SREERANGA P   +2 more
openaire   +2 more sources

Satisfiability Problems for Propositional Calculi

Mathematical Systems Theory, 1979
exaly  

New Algorithms for Exact Satisfiability

Theoretical Computer Science, 2005
exaly  

Smten With Satisfiability-Based Search

ACM SIGPLAN Notices, 2014
exaly  

Testing satisfiability, finding satisfying assignment

2009
openaire   +1 more source