Search results
From MaRDI portal
- Experimental results on the crossover point in random 3-SAT 2022-09-22 Paper Implicates and prime implicates in random 3-SAT 2022-09-22 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 17:09, 6 October 2023
- Rigorous results for random (\(2+p)\)-SAT 2002-03-03 Paper Lower bounds for random 3-SAT via differential equations 2002-03-03 Paper Random constraint satisfaction:...10 bytes (17 words) - 09:07, 9 December 2023
- Publication Date of Publication Type Implicates and prime implicates in random 3-SAT 2022-09-22 Paper...10 bytes (16 words) - 17:09, 6 October 2023
- Date of Publication Type Experimental results on the crossover point in random 3-SAT 2022-09-22 Paper...10 bytes (18 words) - 17:09, 6 October 2023
- Publication Date of Publication Type Hard random 3-SAT problems and the Davis-Putnam procedure 2022-09-22 Paper...10 bytes (18 words) - 17:09, 6 October 2023
- 2004-08-09 Paper https://portal.mardi4nfdi.de/entity/Q4473023 2004-08-04 Paper Random 3-SAT: The plot thickens 2004-03-15 Paper...10 bytes (20 words) - 09:10, 24 September 2023
- 2005-12-27 Paper https://portal.mardi4nfdi.de/entity/Q4473023 2004-08-04 Paper Random 3-SAT: The plot thickens 2004-03-15 Paper...10 bytes (16 words) - 09:10, 24 September 2023
- 2006-07-07 Paper https://portal.mardi4nfdi.de/entity/Q4473023 2004-08-04 Paper Random 3-SAT: The plot thickens 2004-03-15 Paper...10 bytes (18 words) - 09:10, 24 September 2023
- large deviation analysis of the generalized unit clause heuristic for random 3-SAT 2005-05-13 Paper https://portal.mardi4nfdi.de/entity/Q4668578 2005-04-19...10 bytes (16 words) - 16:15, 10 December 2023
- vertex-coloured graphs 2016-05-03 Paper Balance in Random Signed Graphs 2013-02-15 Paper On Random 3-sat 1996-07-01 Paper https://portal.mardi4nfdi.de/entity/Q4858146...10 bytes (18 words) - 19:06, 24 September 2023
- clause heuristic for random 3-SAT 2005-05-13 Paper https://portal.mardi4nfdi.de/entity/Q4668578 2005-04-19 Paper Circuits in random graphs: from local trees...10 bytes (16 words) - 17:40, 9 December 2023
- Publication Type https://portal.mardi4nfdi.de/entity/Q4473023 2004-08-04 Paper Random 3-SAT: The plot thickens 2004-03-15 Paper Adaptive optimizing compilers for...10 bytes (16 words) - 11:01, 7 October 2023
- Paper On the satisfiability threshold and clustering of solutions of random 3-SAT formulas 2008-11-18 Paper https://portal.mardi4nfdi.de/entity/Q4819594...10 bytes (17 words) - 15:49, 6 October 2023
- Publication Date of Publication Type An algorithm for random signed 3-SAT with intervals 2014-02-11 Paper...10 bytes (16 words) - 06:38, 7 October 2023
- Date of Publication Type On the limit of branching rules for hard random unsatisfiable 3-SAT 2003-09-15 Paper...10 bytes (16 words) - 15:23, 24 September 2023
- 1996-10-07 Paper On Random 3-sat 1996-07-01 Paper Computation of the forwarding index via flows: A note 1994-09-05 Paper Grids in random graphs 1994-07-20...10 bytes (22 words) - 19:11, 9 December 2023
- https://portal.mardi4nfdi.de/entity/Q2939531 2015-01-22 Paper Sparser Random 3-SAT Refutation Algorithms and the Interpolation Problem 2014-07-01 Paper...10 bytes (16 words) - 08:58, 6 October 2023
- Paper The Spectral Gap of Random Graphs with Given Expected Degrees 2009-03-12 Paper Recognizing more random unsatisfiable 3-SAT instances efficiently 2007-05-29...10 bytes (16 words) - 08:19, 7 October 2023
- Paper Super solutions of random \((3 + p)\)-SAT 2019-10-07 Paper On the Lower Bounds of (1,0)-Super Solutions for Random k-SAT 2019-06-24 Paper On the Lower...10 bytes (16 words) - 03:02, 7 October 2023
- Paper On Random Betweenness Constraints 2009-10-20 Paper On Random Ordering Constraints 2009-08-18 Paper Recognizing more random unsatisfiable 3-SAT instances...10 bytes (16 words) - 03:31, 9 December 2023
