Results 161 to 170 of about 1,567 (182)

Generating hard satisfiability problems

Artificial Intelligence, 1996
Bart Selman, Hector J Lévesque
exaly  

Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming

Journal of the ACM, 1995
Michel X Goemans, David P Williamson
exaly  

The Minimum Satisfiability Problem

SIAM Journal on Discrete Mathematics, 1994
Rajeev Kohli, Ramesh Krishnamurti, Prakash Mirchandani   +2 more
exaly  

XPath satisfiability in the presence of DTDs

Journal of the ACM, 2008
Michael Benedikt, Wenfei Fan, Floris Geerts   +2 more
exaly  

Algorithms for the maximum satisfiability problem

Computing (Vienna/New York), 1990
Pierre Hansen, Brigitte Jaumard, Hansen Pierre   +2 more
exaly  

Satisfiability Machines

2014
openaire   +1 more source

Probabilistic Analysis of Two Heuristics for the 3-Satisfiability Problem

SIAM Journal on Computing, 1986
John Franco
exaly  

SAT-based explicit LTLf satisfiability checking

Artificial Intelligence, 2020
Jianwen Li, Moshe Y Vardi, Kristin Y Rozier   +2 more
exaly  

Analytic and Algorithmic Solution of Random Satisfiability Problems

Science, 2002
M Mezard, G Parisi, Riccardo Zecchina
exaly  

Satisfiability problems for propositional calculi

Mathematical Systems Theory, 1979
Harry R Lewis
exaly