Sciweavers

2446 search results - page 20 / 490
» Choiceless Polynomial Time
Sort
View
COCOON
2007
Springer
14 years 1 months ago
Generating Minimal k-Vertex Connected Spanning Subgraphs
Abstract. We show that minimal k-vertex connected spanning subgraphs of a given graph can be generated in incremental polynomial time for any fixed k.
Endre Boros, Konrad Borys, Khaled M. Elbassioni, V...
COCOON
2005
Springer
14 years 1 months ago
Bicriteria Network Design via Iterative Rounding
We study the edge-connectivity survivable network design problem with an additional linear budget constraint. We give a strongly polynomial time (3, 3)-approximation algorithm for ...
Piotr Krysta
CSL
2003
Springer
14 years 22 days ago
Generating All Abductive Explanations for Queries on Propositional Horn Theories
Abstract. Abduction is a fundamental mode of reasoning, which has taken on increasing importance in Artificial Intelligence (AI) and related disciplines. Computing abductive expla...
Thomas Eiter, Kazuhisa Makino
ENTCS
2008
75views more  ENTCS 2008»
13 years 7 months ago
Intensional Properties of Polygraphs
Abstract
Guillaume Bonfante, Yves Guiraud
STACS
2007
Springer
14 years 1 months ago
VPSPACE and a Transfer Theorem over the Reals
Abstract. We introduce a new class VPSPACE of families of polynomials. Roughly speaking, a family of polynomials is in VPSPACE if its coefficients can be computed in polynomial spa...
Pascal Koiran, Sylvain Perifel