Search results
From MaRDI portal
- case complexity of satisfiability algorithms and the threshold phenomenon 2006-01-10 Paper Theory and Applications of Satisfiability Testing 2005-12-15...10 bytes (15 words) - 18:11, 9 December 2023
- Bounds and Satisfiability Algorithms for Small Threshold Circuits 2018-06-15 Paper Average-case lower bounds and satisfiability algorithms for small threshold...10 bytes (13 words) - 10:21, 7 October 2023
- overview of backtrack search satisfiability algorithms 2003-03-10 Paper Stochastic systematic search algorithms for satisfiability 2001-09-24 Paper...10 bytes (16 words) - 22:16, 9 December 2023
- Breaking for Maximum Satisfiability 2009-01-27 Paper Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms 2008-05-27 Paper Counting...10 bytes (14 words) - 02:52, 12 December 2023
- overview of backtrack search satisfiability algorithms 2003-03-10 Paper Stochastic systematic search algorithms for satisfiability 2001-09-24 Paper...10 bytes (15 words) - 11:43, 7 October 2023
- 2023-10-26 Paper Satisfiability algorithm for syntactic read-\(k\)-times branching programs 2021-06-11 Paper Satisfiability Algorithm for Syntactic Read-$k$-times...10 bytes (13 words) - 19:11, 6 October 2023
- Almost linear time algorithms for minsum \(k\)-sink problems on dynamic flow path networks 2021-06-22 Paper Satisfiability algorithm for syntactic read-\(k\)-times...10 bytes (13 words) - 09:48, 6 October 2023
- Paper A two-phase algorithm for solving a class of hard satisfiability problems 2001-05-20 Paper Bounds and fast approximation algorithms for binary quadratic...10 bytes (15 words) - 20:50, 8 December 2023
- Paper Probabilistic satisfiability 2000-01-01 Paper Mixed-integer column generation algorithms and the probabilistic maximum satisfiability problem 1999-11-14...10 bytes (13 words) - 11:23, 28 January 2024
- Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies 2010-01-06 Paper The Connectivity of Boolean Satisfiability: Computational and...10 bytes (15 words) - 00:39, 10 December 2023
- \(k\)-ary tanglegrams on level graphs: a satisfiability-based approach and its evaluation 2012-10-19 Paper A Satisfiability-Based Approach for Embedding Generalized...10 bytes (13 words) - 19:05, 6 October 2023
- Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 2011-05-19 Paper Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories...10 bytes (13 words) - 03:35, 12 December 2023
- Paper Planning as satisfiability with IPC simple preferences and action costs 2012-10-25 Paper Algorithms for Solving Satisfiability Problems with Qualitative...10 bytes (13 words) - 09:29, 6 October 2023
- \textsf{TSAT++}: an open platform for satisfiability modulo theories 2013-09-25 Paper Algorithms for Solving Satisfiability Problems with Qualitative Preferences...10 bytes (13 words) - 09:29, 6 October 2023
- optimization 2014-08-01 Paper Exact Algorithms for MAX-SAT 2013-04-19 Paper Optimizing with minimum satisfiability 2012-11-15 Paper Resolution-based lower...10 bytes (13 words) - 03:13, 25 September 2023
- SMT-LIB release 2023 (non-incremental benchmarks) 2024-02-01 Dataset Satisfiability modulo finite fields 2024-01-12 Paper Combining stable infiniteness...10 bytes (15 words) - 06:02, 7 October 2023
- via Incremental Reduction to LRA with EUF 2020-08-05 Paper SMT-based satisfiability of first-order LTL with event freezing functions and metric operators...10 bytes (15 words) - 09:34, 11 December 2023
- Nearly time-optimal kernelization algorithms for the line-cover problem with big data 2024-08-13 Paper Near-optimal algorithms for point-line covering problems...10 bytes (14 words) - 00:47, 10 December 2023
- salesman problem 2017-10-10 Paper Greedy Algorithms for the Maximum Satisfiability Problem: Simple Algorithms and Inapproximability Bounds 2017-06-28 Paper...10 bytes (17 words) - 09:10, 11 December 2023
- Hypertree Width 2022-08-30 Paper Sum-of-Products with Default Values: Algorithms and Complexity Results 2022-05-16 Paper Certified DQBF solving by definition...10 bytes (15 words) - 01:43, 25 September 2023
