scientific article
From MaRDI portal
Publication:3624109
zbMath1183.68578MaRDI QIDQ3624109
Javier Larrosa, Federico Heras, Albert Oliveras
Publication date: 28 April 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Propositional SAT Solving, New local search methods for partial MaxSAT, Solving satisfiability problems with preferences, Resolution-based lower bounds in MaxSAT, Modelling Max-CSP as Partial Max-SAT, A Preprocessor for Max-SAT Solvers, Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms, Boosting branch-and-bound MaxSAT solvers with clause learning, Boolean lexicographic optimization: algorithms \& applications, CHAMP: a multipass algorithm for Max Sat based on saver variables, Portfolios in stochastic local search: efficiently computing most probable explanations in Bayesian networks, Go-MOCE: greedy order method of conditional expectations for Max Sat, Incomplete inference for graph problems, A taxonomy of exact methods for partial Max-SAT, Russian doll search for the Steiner triple covering problem, Curriculum-based course timetabling with SAT and MaxSAT, Computational protein design as an optimization problem, Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One, Exploiting subproblem optimization in SAT-based maxsat algorithms, A framework for reasoning under uncertainty based on non-deterministic distance semantics, Soft arc consistency revisited, Simplified forms of computerized reasoning with distance semantics, Probabilistic characterization of random Max \(r\)-Sat, Extending linear relaxation for non-square matrices and soft constraints, Understanding the power of Max-SAT resolution through up-resilience, The Normalized Autocorrelation Length of Random Max $$r$$ -Sat Converges in Probability to $$(1-1/2^r)/r$$, Algorithms for Weighted Boolean Optimization, MiniMaxSat, Using the method of conditional expectations to supply an improved starting point for CCLS, ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver, Iterative and core-guided maxsat solving: a survey and assessment
Uses Software
