„maximum satisfiability“
Suchergebnisse
35 Treffer
-
Effect of Initial Assignment on Local Search Performance for Max Sat
-
Bounded Depth Circuits with Weighted Symmetric Gates: Satisfiability, Lower Bounds and Compression
-
Improved Exact Algorithms for Mildly Sparse Instances of Max SAT
-
Robust Approximation of Temporal CSP
-
MAX-SAT Problem using Hybrid Harmony Search Algorithm
-
A Refined Branching Algorithm for the Maximum Satisfiability Problem
-
Algorithms for the maximum satisfiability problem
-
Probabilistic bounds and algorithms for the maximum satisfiability problem
-
Reasoning and inference for (Maximum) satisfiability: new insights
-
Investigation of Maximum and Minimum Satisfiability Problems Using L-Partition
-
Open-Pit Mine Optimization with Maximum Satisfiability
-
Searching for Optimization through Satisfiability – Satisfiability Approaches in Maximum Satisfiability and AI Planning
-
Empirical investigation of stochastic local search for maximum satisfiability
-
Efficient zonal diagnosis with maximum satisfiability
-
Quantified maximum satisfiability