Results 201 to 210 of about 18,245 (221)

XPath Satisfiability in the Presence of DTDs

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

Probabilistic Analysis of Two Heuristics for the 3-Satisfiability Problem

SIAM Journal on Computing, 1986
John Vincent Franco
exaly  

Algorithms for the Maximum Satisfiability Problem

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

Satisfiability Machines

2014
openaire   +1 more source

The Minimum Satisfiability Problem

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

Solving Satisfiability via Boltzmann Machines

IEEE Transactions on Pattern Analysis and Machine Intelligence, 1993
Manuel Graña, A D'Anjou
exaly  

Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT

Lecture Notes in Computer Science, 2002
Clark Barrett, David L. Dill, Aaron David Stump   +2 more
exaly  

CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability

Artificial Intelligence, 2017
Chuan Luo, Kaile Su, Shaowei Cai
exaly  

SAT-Based Explicit LTLf Satisfiability Checking

Artificial Intelligence, 2020
Jianwen Li, Geguang Pu, Moshe Vardi
exaly  

Metalevel Algorithms for Variant Satisfiability

Journal of Logical and Algebraic Methods in Programming, 2018
José Meseguer
exaly