Results 221 to 230 of about 1,746,055 (248)

A Deterministic Polynomial Time Algorithm for Non-commutative Rational Identity Testing

IEEE Annual Symposium on Foundations of Computer Science, 2015
Symbolic matrices in non-commuting variables, and the related structural and algorithmic questions, have a remarkable number of diverse origins and motivations.
A. Garg, L. Gurvits, Rafael Oliveira, A. Wigderson   +3 more
semanticscholar   +1 more source

Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time

International Symposium on Mathematical Foundations of Computer Science, 2019
Calude, Jain, Khoussainov, Li, and Stephan (2017) proposed a quasi-polynomial-time algorithm solving parity games. After this breakthrough result, a few other quasi-polynomial-time algorithms were introduced; none of them is easy to understand. Moreover,
P. Parys
semanticscholar   +1 more source

A Polynomial Time Algorithm for 3SAT

arXiv.org
It is shown that any two clauses in an instance of 3SAT sharing the same terminal which is positive in one clause and negated in the other can imply a new clause composed of the remaining terms from both clauses.
R. Quigley
semanticscholar   +1 more source

A Polynomial-Time Algorithm for Satisfiability

, 2016
Daniel J. Buehrer
semanticscholar   +1 more source

A polynomial-time algorithm, based on Newton's method, for linear programming

Mathematical programming, 1988
J. Renegar
semanticscholar   +1 more source

A polynomial time algorithm for counting integral points in polyhedra when the dimension is fixed

Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science, 1993
A. Barvinok
semanticscholar   +1 more source

A polynomial time algorithm to solve the single-item capacitated lot sizing problem with minimum order quantities and concave costs

European Journal of Operational Research, 2012
B. Hellion, Fabien Mangione, B. Penz
semanticscholar   +1 more source

Polynomial Time Algorithm for Learning Globally Optimal Dynamic Bayesian Network

International Conference on Neural Information Processing, 2011
V. Nguyen, M. Chetty, R. Coppel, P. Wangikar   +3 more
semanticscholar   +1 more source

A Polynomial Time Algorithm for Bounded Directed Pathwidth

International Workshop on Graph-Theoretic Concepts in Computer Science, 2011
H. Tamaki
semanticscholar   +1 more source

A Polynomial-Time Algorithm for Finding ε in DEA Models

Computers and Operations Research, 2004
Gholam R Amin, Mehdi Toloo
exaly