Results 151 to 160 of about 1,567 (182)
Some of the next articles are maybe not open access.
Satisfiability with Index Dependency
Journal of Computer Science and Technology, 2010zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hongyu Liang, Jing He 0009
openaire +1 more source
Quantified maximum satisfiability
Constraints, 2013zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alexey Ignatiev +2 more
openaire +1 more source
On the Approximation of Maximum Satisfiability
Journal of Algorithms, 1994Summary: We present a 3/4 polynomial time approximation algorithm for the maximum satisfiability problem: Given a set of clauses, find a truth assignment that satisfies the maximum number of clauses. The algorithm applies to the weighted case as well, and involves nontrivial application of network flow techniques.
openaire +3 more sources
Reports Math. Log., 1991
Summary: A notion of satisfiability is defined for collections of vertex sets of a hypergraph and a method for determining satisfiability, called resolution, is introduced. An important special case is the resolution technique for determining satisfiability of a set of clauses in propositional logic.
openaire +2 more sources
Summary: A notion of satisfiability is defined for collections of vertex sets of a hypergraph and a method for determining satisfiability, called resolution, is introduced. An important special case is the resolution technique for determining satisfiability of a set of clauses in propositional logic.
openaire +2 more sources
Weighted Random k Satisfiability for k = 1 , 2 (r2SAT) in Discrete Hopfield Neural Network
Applied Soft Computing Journal, 2022Nur Ezlín Zamri +2 more
exaly
Novel Hopfield Neural Network Model with Election Algorithm for Random 3 Satisfiability
Processes, 2021Siti Zulaikha Mohd Jamaludin +2 more
exaly
Major 2 Satisfiability Logic in Discrete Hopfield Neural Network
International Journal of Computer Mathematics, 2022Alyaa Alway +2 more
exaly