Search results

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...

Paper Theory and Applications of Satisfiability Testing 2005-12-15 Paper Theory and Applications of Satisfiability Testing 2005-12-15 Paper Term Rewriting...

verifiers 2009-10-29 Paper Theory and Applications of Satisfiability Testing 2009-07-24 Paper Improved Algorithms for Detecting Negative Cost Cycles in Undirected...

overview of backtrack search satisfiability algorithms 2003-03-10 Paper Stochastic systematic search algorithms for satisfiability 2001-09-24 Paper...

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...

property is testable 2010-08-16 Paper Testing triangle-freeness in general graphs 2010-08-16 Paper The online set cover problem 2010-08-16 Paper Testing subgraphs...

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...

17 2017-06-26 Paper Satisfiability checking and symbolic computation 2017-06-21 Paper A generalized successive resultants algorithm 2017-06-13 Paper Cylindrical...

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...

Approximation 2021-10-02 Paper Convergence analysis of belief propagation algorithm for satisfiability problem 2021-09-29 Paper Stability and Hopf bifurcation for a...

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...

Determinstic VLSI block placement algorithm using less flexibility first principle 2004-10-28 Paper Routing algorithm for multicast under multi-tree model...

fireworks algorithm 2018-08-20 Paper Parallel CPU- and GPU-algorithms for inverse problems in nondestructive testing 2018-08-20 Paper Parallel algorithm of the...

Paper A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming 2017-02-06 Paper On some basic properties...

propositional revision 2017-11-09 Paper Catnap: generating test suites of constrained combinatorial testing with answer set programming 2017-09-05 Paper Coordination...

connected components 2007-03-30 Paper Theory and Applications of Satisfiability Testing 2005-12-15 Paper https://portal.mardi4nfdi.de/entity/Q4737457 2004-08-11...

approximability of non-Boolean satisfiability problems and restricted integer programming 2005-04-06 Paper On Local Versus Global Satisfiability 2005-02-28 Paper https://portal...

uninterpreted functions to propositional logic 2017-06-13 Paper Boolean satisfiability with transitivity constraints 2017-06-13 Paper A symbolic approach to...

set programming 2017-11-09 Paper Automatic construction of parallel portfolios via algorithm configuration 2017-02-22 Paper The configurable SAT solver...

Lack-of-fit testing of a regression model with response missing at random 2011-10-28 Paper Theory and Applications of Satisfiability Testing 2009-07-24...