Search results
From MaRDI portal
- 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
- 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 (14 words) - 17:33, 12 December 2023
- 2023-05-08 Paper An optimal parallel algorithm for computing a near-optimal order of matrix multiplications 2022-12-09 Paper Parallel and sequential approximation...10 bytes (14 words) - 09:21, 8 December 2023
- Paper Theory and Applications of Satisfiability Testing 2009-07-24 Paper Theory and Applications of Satisfiability Testing 2009-07-24 Paper Resolution and...10 bytes (15 words) - 10:49, 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
- and identity testing from high powers over finite fields 2018-04-06 Paper On the Complexity of Probabilistic Trials for Hidden Satisfiability Problems 2018-03-21...10 bytes (13 words) - 18:56, 11 December 2023
- Paper Theory and Applications of Satisfiability Testing 2005-12-15 Paper Theory and Applications of Satisfiability Testing 2005-12-15 Paper Term Rewriting...10 bytes (15 words) - 03:11, 9 December 2023
- Paper A Simple Algorithm for Mal'tsev Constraints 2006-06-01 Paper Theory and Applications of Satisfiability Testing 2005-12-16 Paper Algorithmic Learning Theory...10 bytes (13 words) - 22:53, 9 December 2023
- Simpler Parallel Algorithm for Graph Connectivity 1994-10-19 Paper ${\text{ASPACE}}(o(\log \log n))$ is Regular 1993-05-16 Paper CNF-Satisfiability Test by...10 bytes (15 words) - 00:53, 9 December 2023
- 2024-12-03 Paper On identity testing and noncommutative rank computation over the free skew field 2024-09-25 Paper Black-box identity testing of noncommutative rational...10 bytes (13 words) - 20:49, 24 September 2023
- verifiers 2009-10-29 Paper Theory and Applications of Satisfiability Testing 2009-07-24 Paper Improved Algorithms for Detecting Negative Cost Cycles in Undirected...10 bytes (13 words) - 23:03, 9 December 2023
- for table computations in partial \(k\)-tree algorithms 2000-08-27 Paper On 2-QBF truth testing in parallel 1997-02-28 Paper Minimizing elimination tree...10 bytes (13 words) - 16:57, 9 December 2023
- occurrence constraints 2009-09-14 Paper Theory and Applications of Satisfiability Testing 2009-07-24 Paper The ROOTS Constraint 2008-09-09 Paper Principles...10 bytes (14 words) - 03:13, 7 October 2023
- Salesman Problem 1993-01-16 Paper On the greedy algorithm for satisfiability 1993-01-16 Paper The parallel complexity of simple logic programs 1993-01-01...10 bytes (16 words) - 01:05, 9 December 2023
- set programming 2017-11-09 Paper Automatic construction of parallel portfolios via algorithm configuration 2017-02-22 Paper The configurable SAT solver...10 bytes (17 words) - 14:12, 6 December 2023
- mardi4nfdi.de/entity/Q3429163 2007-03-30 Paper Theory and Applications of Satisfiability Testing 2005-12-15 Paper https://portal.mardi4nfdi.de/entity/Q4737457 2004-08-11...10 bytes (13 words) - 11:24, 7 October 2023
- approach 2012-04-05 Paper An exact algorithm for the maximum leaf spanning tree problem 2012-01-09 Paper A new algorithm for finding trees with many leaves...10 bytes (14 words) - 03:34, 9 December 2023
- 17 2017-06-26 Paper Satisfiability checking and symbolic computation 2017-06-21 Paper A Generalised Successive Resultants Algorithm 2017-06-13 Paper Cylindrical...10 bytes (17 words) - 13:46, 8 December 2023
- mardi4nfdi.de/entity/Q5715725 2006-01-04 Paper Theory and Applications of Satisfiability Testing 2005-12-16 Paper New Periodic Orbits for the n-Body Problem 2005-11-08...10 bytes (15 words) - 14:26, 6 December 2023
- AND LOSSY CIRCUITS 2015-04-29 Paper Thread-parallel integrated test pattern generator utilizing satisfiability analysis 2010-08-13 Paper INCREDYBLE: A new...10 bytes (15 words) - 23:59, 24 September 2023
