Results 181 to 190 of about 44,520 (208)

Major 2 Satisfiability Logic in Discrete Hopfield Neural Network

International Journal of Computer Mathematics, 2022
Alyaa Alway, Nur Ezlín Zamri, Syed Anayet Karim   +2 more
exaly  

A GRASP for satisfiability

1996
Mauricio G. C. Resende, Thomas A. Feo
openaire   +1 more source

Generating hard satisfiability problems

Artificial Intelligence, 1996
Bart Selman, Hector J Levesque
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
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, Geguang Pu, Moshe Y Vardi
exaly