Search results
From MaRDI portal
- heuristics for the k-satisfiability problem 1990-01-01 Paper Probabilistic performance of a heurisic for the satisfiability problem 1988-01-01 Paper Correction...10 bytes (18 words) - 19:11, 9 December 2023
- Solving satisfiability problems using elliptic approximations -- effective branching rules 2001-07-29 Paper Relaxations of the satisfiability problem using...10 bytes (18 words) - 21:50, 8 December 2023
- Probabilistic approach to the satisfiability problem 1991-01-01 Paper Counting the number of solutions for instances of satisfiability 1991-01-01 Paper On the...10 bytes (17 words) - 19:11, 9 December 2023
- the propositional satisfiability problem 1995-09-06 Paper Efficient labelling algorithms for the maximum noncrossing matching problem 1994-03-17 Paper A...10 bytes (16 words) - 12:29, 12 December 2023
- Solving satisfiability problems using elliptic approximations -- effective branching rules 2001-07-29 Paper Relaxations of the satisfiability problem using...10 bytes (18 words) - 18:45, 6 October 2023
- 2021-04-07 Paper An assumption-based approach for solving the minimal S5-satisfiability problem 2018-10-18 Paper https://portal.mardi4nfdi.de/entity/Q4576242 2018-07-12...10 bytes (18 words) - 14:41, 6 October 2023
- On variable-weighted exact satisfiability problems 2007-12-03 Paper On Linear CNF Formulas 2007-09-04 Paper Satisfiability of mixed Horn formulas 2007-07-19...10 bytes (16 words) - 20:05, 6 October 2023
- COMPLEXITY OF THE ISOMORPHISM PROBLEM FOR FINITE SEMIGROUPS 2021-04-27 Paper ON COMPLEXITY OF THE SATISFIABILITY PROBLEM OF SYSTEMS OVER FINITE POSETS...10 bytes (18 words) - 15:19, 10 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 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
- parsimony haplotype inference problem and algorithms based on integer programming, branch-and-bound and Boolean satisfiability 2016-07-15 Paper SAS+ Planning...10 bytes (16 words) - 02:18, 9 December 2023
- algorithm for the classical \(p\)-center problem 2023-11-13 Paper On solving simplified diversified top-\(k\,s\)-plex problem 2023-07-04 Paper Boosting branch-and-bound...10 bytes (17 words) - 11:03, 11 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
- quadratic optimization problems 1993-01-16 Paper Computational experience with an interior point algorithm on the satisfiability problem 1990-01-01 Paper...10 bytes (18 words) - 16:51, 12 December 2023
- approach to the random satisfiability problem 2002-05-02 Paper Statistical mechanics methods and phase transitions in optimization problems 2002-03-03 Paper...10 bytes (16 words) - 17:40, 9 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
- the probabilistic maximum satisfiability problem 1999-11-14 Paper Boolean query optimization and the 0-1 hyperbolic sum problem 1997-07-20 Paper Boole's...10 bytes (23 words) - 11:14, 13 December 2023
- Publication Date of Publication Type The inverse satisfiability problem 2024-01-29 Paper Generating all maximal models of a Boolean expression 2016-06-16...10 bytes (16 words) - 22:08, 10 December 2023
- generalized maximum satisfiability problem 1994-06-15 Paper A fixed point operator for the generalised maximum satisfiability problem 1994-01-16 Paper Lattice...10 bytes (16 words) - 17:21, 12 December 2023
- the Multiobjective Shortest Path Problem 2022-06-28 Paper Improved approaches to solve the one-to-one skewgram problem 2022-03-09 Paper Macroscopic evacuation...10 bytes (16 words) - 19:15, 11 December 2023
