Search results
From MaRDI portal
- 2006-05-16 Paper Theory and Applications of Satisfiability Testing 2005-12-16 Paper Theory and Applications of Satisfiability Testing 2005-12-16 Paper Theory and...10 bytes (18 words) - 21:50, 8 December 2023
- case complexity of satisfiability algorithms and the threshold phenomenon 2006-01-10 Paper Theory and Applications of Satisfiability Testing 2005-12-15...10 bytes (18 words) - 19:11, 9 December 2023
- 2009-07-07 Paper Symmetry Breaking for Maximum Satisfiability 2009-01-27 Paper Model checking with Boolean Satisfiability 2008-09-29 Paper Boosting haplotype inference...10 bytes (20 words) - 23:16, 9 December 2023
- Paper From Propositional Satisfiability to Satisfiability Modulo Theories 2007-09-04 Paper A Progressive Simplifier for Satisfiability Modulo Theories 2007-09-04...10 bytes (18 words) - 06:55, 13 December 2023
- Theory and Applications of Satisfiability Testing 2005-12-15 Paper Toward leaner binary-clause reasoning in a satisfiability solver 2005-05-13 Paper Persistent...10 bytes (18 words) - 14:54, 8 December 2023
- Paper Approximating the Satisfiability Threshold for Random k-XOR-formulas 2003-01-01 Paper Upper bounds on the satisfiability threshold 2002-03-03 Paper...10 bytes (17 words) - 19:11, 9 December 2023
- Paper Satisfiability of mixed Horn formulas 2007-07-19 Paper Theory and Applications of Satisfiability Testing 2005-12-16 Paper Exact 3-satisfiability is...10 bytes (17 words) - 18:33, 12 December 2023
- in directed hypergraphs 2015-07-28 Paper Easy cases of probabilistic satisfiability 2015-06-17 Paper Ranking paths in stochastic time-dependent networks...10 bytes (16 words) - 12:29, 12 December 2023
- 2011-06-14 Paper Theory and Applications of Satisfiability Testing 2009-07-24 Paper Theory and Applications of Satisfiability Testing 2009-07-24 Paper https://portal...10 bytes (16 words) - 15:21, 6 December 2023
- Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 2011-05-19 Paper Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories...10 bytes (16 words) - 04:35, 12 December 2023
- collapses 2016-09-29 Paper Time-space lower bounds for satisfiability 2015-12-04 Paper Satisfiability Allows No Nontrivial Sparsification unless the Polynomial-Time...10 bytes (18 words) - 13:05, 11 December 2023
- 2022-12-09 Paper SGGS decision procedures 2022-11-09 Paper Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs 2022-03-25 Paper...10 bytes (19 words) - 15:52, 10 December 2023
- 2022-12-22 Paper Generating hard satisfiability problems 2022-09-22 Paper Critical behavior in the computational cost of satisfiability testing 2022-09-22 Paper...10 bytes (17 words) - 02:18, 9 December 2023
- Paper Theory and Applications of Satisfiability Testing 2005-12-15 Paper Correlations between Horn fractions, satisfiability and solver performance for fixed...10 bytes (18 words) - 03:04, 13 December 2023
- Publication Date of Publication Type Satisfiability checking for mission-time LTL 2024-02-16 Paper Satisfiability checking for mission-time \textsf{LTL}...10 bytes (18 words) - 01:47, 12 December 2023
- de/entity/Q4886084 1996-07-28 Paper Tail bounds for occupancy and the satisfiability threshold conjecture 1996-03-18 Paper https://portal.mardi4nfdi.de/entity/Q4283454...10 bytes (18 words) - 16:51, 12 December 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 (16 words) - 10:34, 11 December 2023
- Symmetry Breaking for Maximum Satisfiability 2009-01-27 Paper Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms 2008-05-27 Paper...10 bytes (18 words) - 03:52, 12 December 2023
- PROBLEM FOR FINITE SEMIGROUPS 2021-04-27 Paper ON COMPLEXITY OF THE SATISFIABILITY PROBLEM OF SYSTEMS OVER FINITE POSETS 2021-02-17 Paper RELATIVIZED GENERIC...10 bytes (18 words) - 15:19, 10 December 2023
- Publication Date of Publication Type Satisfiability by Maxwell-Boltzmann and Bose-Einstein Statistical Distributions 2016-10-24 Paper Analysis and design...10 bytes (17 words) - 03:33, 12 December 2023
