Search results for "Tractability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Michael Bauland, Martin Mundhenk, Thomas Schneider 0002, Henning Schnoor, Ilka Schnoor, Heribert Vollmer	The tractability of model checking for LTL: The good, the bad, and the ugly fragments.	ACM Trans. Comput. Log.	2011	DBLP DOI BibTeX RDF
16	Sergio Cabello, Panos Giannopoulos, Christian Knauer, Dániel Marx, Günter Rote	Geometric clustering: Fixed-parameter tractability and lower bounds with respect to the dimension.	ACM Trans. Algorithms	2011	DBLP DOI BibTeX RDF
16	Mukul S. Bansal, Ron Shamir	A Note on the Fixed Parameter Tractability of the Gene-Duplication Problem.	IEEE ACM Trans. Comput. Biol. Bioinform.	2011	DBLP DOI BibTeX RDF
16	Johan Kwisthout	Most probable explanations in Bayesian networks: Complexity and tractability.	Int. J. Approx. Reason.	2011	DBLP DOI BibTeX RDF
16	Martin C. Cooper, Stanislav Zivný	Hybrid tractability of valued constraint problems.	Artif. Intell.	2011	DBLP DOI BibTeX RDF
16	Ko-Hsin Cindy Wang, Adi Botea	MAPP: a Scalable Multi-Agent Path Planning Algorithm with Tractability and Completeness Guarantees.	J. Artif. Intell. Res.	2011	DBLP DOI BibTeX RDF
16	Ahmad Mahmoody-Ghaidary, Cédric Chauve, Ladislav Stacho	Tractability results for the Double-Cut-and-Join circular median problem	CoRR	2011	DBLP BibTeX RDF
16	Fedor V. Fomin, Stefan Kratsch, Marcin Pilipczuk, Michal Pilipczuk, Yngve Villanger	Subexponential fixed-parameter tractability of cluster editing	CoRR	2011	DBLP BibTeX RDF
16	Di Yuan 0001, Jingon Joung, Chin Keong Ho, Sumei Sun	On Tractability Aspects of Optimal Resource Allocation in OFDMA Systems	CoRR	2011	DBLP BibTeX RDF
16	Fedor V. Fomin, Michal Pilipczuk	Jungles, bundles, and fixed parameter tractability	CoRR	2011	DBLP BibTeX RDF
16	Rajesh Hemant Chitnis, MohammadTaghi Hajiaghayi, Dániel Marx	Fixed-Parameter Tractability of Directed Multiway Cut Parameterized by the Size of the Cutset	CoRR	2011	DBLP BibTeX RDF
16	Manuel Bodirsky, Dugald Macpherson, Johan Thapper	Constraint Satisfaction Tractability from Semi-lattice Operations on Infinite Sets	CoRR	2011	DBLP BibTeX RDF
16	David A. Cohen, Martin C. Cooper, Páidí Creed, András Z. Salamon	The tractability of CSP classes defined by forbidden patterns	CoRR	2011	DBLP BibTeX RDF
16	Leszek Plaskota, Grzegorz W. Wasilkowski	Tractability of infinite-dimensional integration in the worst case and randomized settings.	J. Complex.	2011	DBLP DOI BibTeX RDF
16	Michael Gnewuch, Henryk Wozniakowski	Quasi-polynomial tractability.	J. Complex.	2011	DBLP DOI BibTeX RDF
16	Anargyros Papageorgiou, Iasonas Petras	Tractability of tensor product problems in the average case setting.	J. Complex.	2011	DBLP DOI BibTeX RDF
16	Josef Dick, Gerhard Larcher, Friedrich Pillichshammer, Henryk Wozniakowski	Exponential convergence and tractability of multivariate integration for Korobov spaces.	Math. Comput.	2011	DBLP DOI BibTeX RDF
16	Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota 0001	Partially-commutative context-free processes: Expressibility and tractability.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
16	Martin Stigge, Pontus Ekberg, Nan Guan, Wang Yi 0001	On the Tractability of Digraph-Based Task Models.	ECRTS	2011	DBLP DOI BibTeX RDF
16	Cédric Chauve, Ján Manuch, Murray Patterson, Roland Wittler	Tractability Results for the Consecutive-Ones Property with Multiplicity.	CPM	2011	DBLP DOI BibTeX RDF
16	Laurent Bulteau, Guillaume Fertin, Minghui Jiang 0001, Irena Rusu	Tractability and Approximability of Maximal Strip Recovery.	CPM	2011	DBLP DOI BibTeX RDF
16	Dan Suciu	Tractability in probabilistic databases.	ICDT	2011	DBLP DOI BibTeX RDF
16	Gianluigi Greco, Francesco Scarcello	Structural Tractability of Constraint Optimization.	CP	2011	DBLP DOI BibTeX RDF
16	Dániel Marx, Igor Razgon	Fixed-parameter tractability of multicut parameterized by the size of the cutset.	STOC	2011	DBLP DOI BibTeX RDF
16	Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev	On (In)Tractability of OBDA with OWL 2 QL.	Description Logics	2011	DBLP BibTeX RDF
16	Prabhanjan Ananth, Meghana Nasre, Kanthi K. Sarpatwar	Rainbow Connectivity: Hardness and Tractability.	FSTTCS	2011	DBLP DOI BibTeX RDF
16	Felix Brandt 0001, Markus Brill, Hans Georg Seedig	On the Fixed-Parameter Tractability of Composition-Consistent Tournament Solutions.	IJCAI	2011	DBLP DOI BibTeX RDF
16	Enela Pema, Phokion G. Kolaitis, Wang Chiew Tan	On the tractability and intractability of consistent conjunctive query answering.	EDBT/ICDT Ph.D. Workshop	2011	DBLP DOI BibTeX RDF
16	Peter Damaschke	Sparse Solutions of Sparse Linear Systems: Fixed-Parameter Tractability and an Application of Complex Group Testing.	IPEC	2011	DBLP DOI BibTeX RDF
16	Sylvain Guillemot, Vincent Berry	Fixed-Parameter Tractability of the Maximum Agreement Supertree Problem.	IEEE ACM Trans. Comput. Biol. Bioinform.	2010	DBLP DOI BibTeX RDF
16	Aleksandrs Slivkins	Parameterized Tractability of Edge-Disjoint Paths on Directed Acyclic Graphs.	SIAM J. Discret. Math.	2010	DBLP DOI BibTeX RDF
16	Georg Gottlob, Reinhard Pichler, Fang Wei 0001	Bounded treewidth as a key to tractability of knowledge representation and reasoning.	Artif. Intell.	2010	DBLP DOI BibTeX RDF
16	Martin C. Cooper, Peter G. Jeavons, András Z. Salamon	Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination.	Artif. Intell.	2010	DBLP DOI BibTeX RDF
16	Xin Li 0033, William K. Cheung 0001, Jiming Liu 0001	Improving POMDP Tractability via Belief Compression and Clustering.	IEEE Trans. Syst. Man Cybern. Part B	2010	DBLP DOI BibTeX RDF
16	Michael Dom, Jiong Guo, Falk Hüffner, Rolf Niedermeier, Anke Truß	Fixed-parameter tractability results for feedback set problems in tournaments.	J. Discrete Algorithms	2010	DBLP DOI BibTeX RDF
16	Dániel Marx, Igor Razgon	Fixed-parameter tractability of multicut parameterized by the size of the cutset	CoRR	2010	DBLP BibTeX RDF
16	Martin C. Cooper, Stanislav Zivný	Hybrid tractability of soft constraint problems	CoRR	2010	DBLP BibTeX RDF
16	Gianluigi Greco, Francesco Scarcello	On The Power of Tree Projections: Structural Tractability of Enumerating CSP Solutions	CoRR	2010	DBLP BibTeX RDF
16	Anargyros Papageorgiou, Henryk Wozniakowski	Tractability through increasing smoothness.	J. Complex.	2010	DBLP DOI BibTeX RDF
16	Agha Iqbal Ali, Debra J. O'Connor	The impact of distribution system characteristics on computational tractability.	Eur. J. Oper. Res.	2010	DBLP DOI BibTeX RDF
16	Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari 0001	Special issue on automated deduction: Decidability, complexity, tractability.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
16	Jiong Guo, Rolf Niedermeier, Sebastian Wernicke 0001	Fixed-parameter tractability results for full-degree spanning tree and its dual.	Networks	2010	DBLP DOI BibTeX RDF
16	Lusheng Wang 0001, Binhai Zhu	On the Tractability of Maximal Strip Recovery.	J. Comput. Biol.	2010	DBLP DOI BibTeX RDF
16	Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard	Tractability and Learnability Arising from Algebras with Few Subpowers.	SIAM J. Comput.	2010	DBLP DOI BibTeX RDF
16	Fernando Bobillo, Miguel Delgado 0001	Tractability of the Crisp Representations of Tractable Fuzzy Description Logics.	URSW	2010	DBLP BibTeX RDF
16	Rudolf Fleischer, Jiong Guo, Rolf Niedermeier, Johannes Uhlmann, Yihui Wang, Mathias Weller, Xi Wu 0001	Extended Islands of Tractability for Parsimony Haplotyping.	CPM	2010	DBLP DOI BibTeX RDF
16	Yasunori Ishihara, Shougo Shimizu, Toru Fujiwara	Extending the Tractability Results on XPath Satisfiability with Sibling Axes.	XSym	2010	DBLP DOI BibTeX RDF
16	Wim Martens, Matthias Niewerth, Thomas Schwentick	Schema design for XML repositories: complexity and tractability.	PODS	2010	DBLP DOI BibTeX RDF	language primality, complexity, xml, xml schemas
16	Ko-Hsin Cindy Wang, Adi Botea	Scalable Multi-Agent Pathfinding on Grid Maps with Tractability and Completeness Guarantees.	ECAI	2010	DBLP DOI BibTeX RDF
16	Paul E. Dunne	Tractability in Value-based Argumentation.	COMMA	2010	DBLP DOI BibTeX RDF
16	Agi Kurucz, Frank Wolter, Michael Zakharyaschev	Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL.	Advances in Modal Logic	2010	DBLP BibTeX RDF
16	Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi, Yuri Pirola	Parameterized Complexity of k-Anonymity: Hardness and Tractability.	IWOCA	2010	DBLP DOI BibTeX RDF
16	Gianluigi Greco, Francesco Scarcello	Structural Tractability of Enumerating CSP Solutions.	CP	2010	DBLP DOI BibTeX RDF
16	Stefan S. Dantchev, Barnaby Martin	The Limits of Tractability in Resolution-Based Propositional Proof Systems.	CiE	2010	DBLP DOI BibTeX RDF
16	Yong Gao 0001	Data reductions, fixed parameter tractability, and random weighted d-CNF satisfiability.	Artif. Intell.	2009	DBLP DOI BibTeX RDF
16	Therese C. Biedl, Stephane Durocher, Holger H. Hoos, Shuang Luan, Jared Saia, Maxwell Young	Fixed-Parameter Tractability and Improved Approximations for Segment Minimization	CoRR	2009	DBLP BibTeX RDF
16	Patrick Coquillard, Alexandre Muzy, Eric Wajnberg	Activatability for simulation tractability of NP problems: Application to Ecology	CoRR	2009	DBLP BibTeX RDF
16	Panos Giannopoulos, Christian Knauer, Günter Rote, Daniel Werner	Fixed-parameter tractability and lower bounds for stabbing problems	CoRR	2009	DBLP BibTeX RDF
16	Anargyros Papageorgiou, Iasonas Petras	On the tractability of linear tensor product problems in the worst case.	J. Complex.	2009	DBLP DOI BibTeX RDF
16	Arthur G. Werschulz	Tractability of the Helmholtz equation with non-homogeneous Neumann boundary conditions: The relation to the L2-approximation.	J. Complex.	2009	DBLP DOI BibTeX RDF
16	Yijia Chen, Jörg Flum	Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping.	J. Log. Comput.	2009	DBLP DOI BibTeX RDF
16	Kamran Zendehdel, Michaël Rademaker, Bernard De Baets, Guido Van Huylenbroeck	Improving tractability of group decision making on environmental problems through the use of social intensities of preferences.	Environ. Model. Softw.	2009	DBLP DOI BibTeX RDF
16	Patricia A. Evans, Todd Wareham, Rhonda Chaytor	Fixed-parameter tractability of anonymizing data by suppressing entries.	J. Comb. Optim.	2009	DBLP DOI BibTeX RDF
16	Marko Samer, Stefan Szeider	Fixed-Parameter Tractability.	Handbook of Satisfiability	2009	DBLP DOI BibTeX RDF
16	Jon Lee 0001	On the Boundary of Tractability for Nonlinear Discrete Optimization.	CTW	2009	DBLP BibTeX RDF
16	Lusheng Wang 0001, Binhai Zhu	On the Tractability of Maximal Strip Recovery.	TAMC	2009	DBLP DOI BibTeX RDF
16	Frauke Oldewurtel, Ravi Gondhalekar, Colin N. Jones, Manfred Morari	Blocking parameterizations for improving the computational tractability of affine disturbance feedback MPC problems.	CDC	2009	DBLP DOI BibTeX RDF
16	James Robert Morrison	Equipment Models for Fab Level Proudction Simulation: Practical Features and Computational Tractability.	WSC	2009	DBLP DOI BibTeX RDF
16	Paul C. Kainen, Vera Kurková, Marcello Sanguineti	On Tractability of Neural-Network Approximation.	ICANNGA	2009	DBLP DOI BibTeX RDF
16	Bogdan Babych, Anthony Hartley, Serge Sharoff	Evaluation-Guided Pre-Editing of Source Text: Improving MT-Tractability of Light Verb Constructions.	EAMT	2009	DBLP BibTeX RDF
16	Tad Zawidzki	Theory of mind, computational tractability, and mind shaping: 2009 Performance Metrics for Intelligent Systems Workshop.	PerMIS	2009	DBLP DOI BibTeX RDF
16	Valeria Fionda, Gianluigi Greco	Charting the Tractability Frontier of Mixed Multi-Unit Combinatorial Auctions.	IJCAI	2009	DBLP BibTeX RDF
16	Rosa Gutiérrez-Escudero, Mario J. Pérez-Jiménez, Miquel Rius-Font	Characterizing Tractability by Tissue-Like P Systems.	Workshop on Membrane Computing	2009	DBLP DOI BibTeX RDF
16	Julia Böttcher, Dan Vilenchik	On the tractability of coloring semirandom graphs.	Inf. Process. Lett.	2008	DBLP DOI BibTeX RDF
16	Iain A. Stewart	On the fixed-parameter tractability of parameterized model-checking problems.	Inf. Process. Lett.	2008	DBLP DOI BibTeX RDF
16	David A. Cohen, Peter Jeavons 0001, Marc Gyssens	A unified theory of structural tractability for constraint satisfaction problems.	J. Comput. Syst. Sci.	2008	DBLP DOI BibTeX RDF
16	Michael Katz 0001, Carmel Domshlak	New Islands of Tractability of Cost-Optimal Planning.	J. Artif. Intell. Res.	2008	DBLP DOI BibTeX RDF
16	Lucas Bordeaux, Marco Cadoli, Toni Mancini	A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability.	J. Artif. Intell. Res.	2008	DBLP DOI BibTeX RDF
16	Michael Bauland, Martin Mundhenk, Thomas Schneider 0002, Henning Schnoor, Ilka Schnoor, Heribert Vollmer	The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments.	Electron. Colloquium Comput. Complex.	2008	DBLP BibTeX RDF
16	Michael Bauland, Martin Mundhenk, Thomas Schneider 0002, Henning Schnoor, Ilka Schnoor, Heribert Vollmer	The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments	CoRR	2008	DBLP BibTeX RDF
16	Kevin Buchin, Maike Buchin, Jaroslaw Byrka, Martin Nöllenburg, Yoshio Okamoto, Rodrigo I. Silveira, Alexander Wolff 0001	Drawing (Complete) Binary Tanglegrams: Hardness, Approximation, Fixed-Parameter Tractability	CoRR	2008	DBLP BibTeX RDF
16	Aicke Hinrichs, Friedrich Pillichshammer, Wolfgang Ch. Schmid	Tractability properties of the weighted star discrepancy.	J. Complex.	2008	DBLP DOI BibTeX RDF
16	Ricardo Riaza, Roswitha März	A simpler construction of the matrix chain defining the tractability index of linear DAEs.	Appl. Math. Lett.	2008	DBLP DOI BibTeX RDF
16	Erik D. Goodman, Ronald C. Averill, Ranny Sidhu	Multi-Level Decomposition for Tractability in Structural Design Optimization.	Evolutionary Computation in Practice	2008	DBLP DOI BibTeX RDF	multi-level decomposition, structural design automation, multi-agent optimization, collaborative independent agents, COMPOSE, structural decomposition, heterogeneous agents
16	Leizhen Cai, Elad Verbin, Lin Yang	Firefighting on Trees: (1-1/e)-Approximation, Fixed Parameter Tractability and a Subexponential Algorithm.	ISAAC	2008	DBLP DOI BibTeX RDF
16	Roman Barták, Ondrej Cepek	Nested temporal networks with alternatives: recognition and tractability.	SAC	2008	DBLP DOI BibTeX RDF	temporal networks, complexity, constraints, alternatives
16	Henrik Björklund, Wim Martens	The Tractability Frontier for NFA Minimization.	ICALP (2)	2008	DBLP DOI BibTeX RDF
16	Georg Gottlob, Reinhard Pichler, Fang Wei 0001	Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation.	AAAI	2008	DBLP BibTeX RDF
16	Naiqi Wu, MengChu Zhou	Tractability of deadlock avoidance problem in automated manufacturing systems modeled with Petri Net.	SMC	2008	DBLP DOI BibTeX RDF
16	Serdar Yüksel	Stochastic nestedness and information analysis of tractability in decentralized control.	Allerton	2008	DBLP DOI BibTeX RDF
16	Martin James Green, Christopher Jefferson	Structural Tractability of Propagated Constraints.	CP	2008	DBLP DOI BibTeX RDF
16	T. K. Satish Kumar	A Framework for Hybrid Tractability Results in Boolean Weighted Constraint Satisfaction Problems.	CP	2008	DBLP DOI BibTeX RDF
16	Rhonda Chaytor, Patricia A. Evans, Todd Wareham	Fixed-Parameter Tractability of Anonymizing Data by Suppressing Entries.	COCOA	2008	DBLP DOI BibTeX RDF
16	Fedor V. Fomin, Petr A. Golovach, Jan Kratochvíl	On tractability of Cops and Robbers game.	IFIP TCS	2008	DBLP DOI BibTeX RDF	Pursuit-evasion games on graphs, cliquewidth, algorithms, complexity, parameterized complexity
16	Omer Giménez, Anders Jonsson 0001	In Search of the Tractability Boundary of Planning Problems.	ICAPS	2008	DBLP BibTeX RDF
16	Michael Bauland, Martin Mundhenk, Thomas Schneider 0002, Henning Schnoor, Ilka Schnoor, Heribert Vollmer	The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments.	M4M	2007	DBLP DOI BibTeX RDF
16	Matthias Hagen	On the fixed-parameter tractability of the equivalence test of monotone normal forms.	Inf. Process. Lett.	2007	DBLP DOI BibTeX RDF
16	Wim Martens, Frank Neven	Frontiers of tractability for typechecking simple XML transformations.	J. Comput. Syst. Sci.	2007	DBLP DOI BibTeX RDF
16	Emil W. Kiss, Matthew Valeriote	On tractability and congruence distributivity	CoRR	2007	DBLP BibTeX RDF
16	Michael Gnewuch, Henryk Wozniakowski	Generalized tractability for multivariate problems Part I: Linear tensor product problems and linear information.	J. Complex.	2007	DBLP DOI BibTeX RDF