Search results
From MaRDI portal
- Differential approximation of MIN SAT, MAX SAT and related problems 2007-04-19 Paper On-line models and algorithms for max independent set 2006-12-11 Paper...10 bytes (16 words) - 11:40, 28 January 2024
- Branch and Bound Max-SAT Solvers 2008-09-09 Paper On Inconsistent Clause-Subsets for Max-SAT Solving 2008-09-02 Paper A Preprocessor for Max-SAT Solvers 2008-05-27...10 bytes (17 words) - 10:03, 11 December 2023
- Search Method for SAT 2008-05-27 Paper https://portal.mardi4nfdi.de/entity/Q5453062 2008-04-04 Paper An Empirical Study of MAX-2-SAT Phase Transitions...10 bytes (18 words) - 19:44, 8 December 2023
- Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT. 2003-09-15 Paper Worst-case study of local search for MAX-\(k\)-SAT. 2003-09-15 Paper Algebraic...10 bytes (19 words) - 17:34, 9 December 2023
- Paper Efficient algorithms for the \textsc{max~\(k\)-vertex cover problem} 2015-01-21 Paper Approximating MAX SAT by moderately exponential and parameterized...10 bytes (19 words) - 09:53, 9 December 2023
- linear systems in max-algebra 2009-03-04 Paper Efficient Generation of Unsatisfiability Proofs and Cores in SAT 2009-01-27 Paper The Max-Atom Problem and...10 bytes (18 words) - 23:42, 11 December 2023
- Resolution for Max-SAT 2009-07-09 Paper Efficiently Calculating Evolutionary Tree Measures Using SAT 2009-07-07 Paper Solving (Weighted) Partial MaxSAT through...10 bytes (19 words) - 13:26, 11 December 2023
- problems: using greediness for parameterization 2015-05-04 Paper Approximating MAX SAT by moderately exponential and parameterized algorithms 2014-12-02 Paper...10 bytes (16 words) - 02:16, 12 December 2023
- 2011-05-31 Paper On Moderately Exponential Time for SAT 2010-09-29 Paper STACS 2004 2007-10-01 Paper MAX-SAT for Formulas with Constant Clause Density Can Be...10 bytes (16 words) - 17:34, 9 December 2023
- de/entity/Q3604002 2009-02-24 Paper Sums of squares based approximation algorithms for MAX-SAT 2008-09-10 Paper Finding Guaranteed MUSes Fast 2008-05-27 Paper https://portal...10 bytes (18 words) - 20:50, 8 December 2023
- functions 2010-09-07 Paper A new approach to proving upper bounds for MAX-2-SAT 2010-08-16 Paper Circuit Complexity and Multiplicative Complexity of Boolean...10 bytes (18 words) - 04:36, 13 December 2023
- Branch and Bound Max-SAT Solvers 2008-09-09 Paper An efficient solver for weighted Max-SAT 2008-07-25 Paper Modelling Max-CSP as Partial Max-SAT 2008-05-27 Paper...10 bytes (16 words) - 03:13, 25 September 2023
- Fast Set Bounds Propagation Using a BDD-SAT Hybrid 2010-08-06 Paper Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving 2010-06-22...10 bytes (18 words) - 23:40, 9 December 2023
- optimal service centers location 2013-09-26 Paper Analysis and solving SAT and MAX-SAT problems using an \(L\)-partition approach 2013-09-26 Paper https://portal...10 bytes (18 words) - 14:30, 11 December 2023
- functions 2010-09-07 Paper A new approach to proving upper bounds for MAX-2-SAT 2010-08-16 Paper Circuit Complexity and Multiplicative Complexity of Boolean...10 bytes (16 words) - 06:02, 13 December 2023
- order method of conditional expectations for Max Sat 2023-03-29 Paper CHAMP: a multipass algorithm for Max Sat based on saver variables 2023-03-03 Paper Using...10 bytes (16 words) - 01:40, 7 October 2023
- Certificates for Max-SAT 2023-01-09 Paper Boosting branch-and-bound MaxSAT solvers with clause learning 2022-09-16 Paper A proof builder for Max-SAT 2022-03-22...10 bytes (16 words) - 17:05, 6 October 2023
- Applications of Satisfiability Testing 2009-07-24 Paper Generalizing Core-Guided Max-SAT 2009-07-07 Paper https://portal.mardi4nfdi.de/entity/Q3624016 2009-04-28...10 bytes (18 words) - 05:55, 13 December 2023
- from Max-CSP into Partial Max-SAT 2009-07-07 Paper https://portal.mardi4nfdi.de/entity/Q3604010 2009-02-24 Paper Modelling Max-CSP as Partial Max-SAT 2008-05-27...10 bytes (17 words) - 11:43, 7 October 2023
- Instances of Max SAT 2017-09-29 Paper Improved exact algorithms for mildly sparse instances of MAX SAT 2017-09-28 Paper Solving sparse instances of Max SAT via...10 bytes (16 words) - 11:19, 24 September 2023
