scientific article
From MaRDI portal
Publication:2786911
zbMath1331.68209MaRDI QIDQ2786911
No author found.
Publication date: 23 February 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
MaxSAT by improved instance-specific algorithm configuration, Exploiting Resolution-Based Representations for MaxSAT Solving, A novel algorithm for Max Sat calling MOCE to order, New local search methods for partial MaxSAT, A constraint optimization approach to causal discovery from subsampled time series data, WPM3: an (in)complete algorithm for weighted partial MaxSAT, Boosting branch-and-bound MaxSAT solvers with clause learning, CHAMP: a multipass algorithm for Max Sat based on saver variables, Go-MOCE: greedy order method of conditional expectations for Max Sat, QMaxSATpb: a certified MaxSAT solver, Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability, Resizing cardinality constraints for MaxSAT, On preprocessing for weighted MaxSAT, Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability, Exploiting subproblem optimization in SAT-based maxsat algorithms, \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT, Improved WPM encoding for coalition structure generation under MC-nets, Using the method of conditional expectations to supply an improved starting point for CCLS, On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving, ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver, Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT, Iterative and core-guided maxsat solving: a survey and assessment
Uses Software
