Algorithms for the maximum satisfiability problem (Q753502): Difference between revisions

@@ Property / cites work @@
+Simulated annealing methods with general acceptance probabilities
+Normal rank
@@ Property / cites work @@
+An \(O(n^ 2)\) algorithm for the satisfiability problem of a subset of propositional sentences in CNF that includes all Horn sentences
+Normal rank
@@ Property / cites work @@
+Integrity constraints in logic databases
@@ Property / cites work: Integrity constraints in logic databases / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Some results and experiments in programming techniques for propositional logic
+Normal rank
@@ Property / cites work @@
+A thermodynamically motivated simulation procedure for combinatorial optimization problems
+Normal rank
@@ Property / cites work @@
+Thermodynamical approach to the travelling salesman problem: An efficient simulation algorithm
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Some Extremal Properties of Bipartite Subgraphs
@@ Property / cites work: Some Extremal Properties of Bipartite Subgraphs / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Timetable and Multicommodity Flow Problems
+Normal rank
@@ Property / cites work @@
+Q3340205
@@ Property / cites work: Q3340205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Some simplified NP-complete graph problems
@@ Property / cites work: Some simplified NP-complete graph problems / rank @@
+Normal rank
@@ Property / cites work @@
+Future paths for integer programming and links to artificial intelligence
+Normal rank
@@ Property / cites work @@
+Roof duality, complementation and persistency in quadratic 0–1 optimization
+Normal rank
@@ Property / cites work @@
+Q5538300
@@ Property / cites work: Q5538300 / rank @@
+Normal rank
@@ Property / cites work @@
+A cascade algorithm for the logical closure of a set of binary relations
+Normal rank
@@ Property / cites work @@
+Methods of Nonlinear 0-1 Programming
@@ Property / cites work: Methods of Nonlinear 0-1 Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities
+Normal rank
@@ Property / cites work @@
+Unit Refutations and Horn Sets
@@ Property / cites work: Unit Refutations and Horn Sets / rank @@
+Normal rank
@@ Property / cites work @@
+The tabu search metaheuristic: How we used it
@@ Property / cites work: The tabu search metaheuristic: How we used it / rank @@
+Normal rank
@@ Property / cites work @@
+Input Proofs and Rank One Cutting Planes
@@ Property / cites work: Input Proofs and Rank One Cutting Planes / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of the maximum satisfiability problem for Horn formulas
+Normal rank
@@ Property / cites work @@
+Approximation algorithms for combinatorial problems
+Normal rank
@@ Property / cites work @@
+Complete problems for deterministic polynomial time
+Normal rank
@@ Property / cites work @@
+Optimization by Simulated Annealing
@@ Property / cites work: Optimization by Simulated Annealing / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic extremal problems in combinatorial optimization
+Normal rank
@@ Property / cites work @@
+Complexity of Partial Satisfaction
@@ Property / cites work: Complexity of Partial Satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+A simplified NP-complete satisfiability problem
@@ Property / cites work: A simplified NP-complete satisfiability problem / rank @@
+Normal rank
@@ Property / cites work @@
+The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic
+Normal rank