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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 12(2), pp. 13:1-13:28, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 7(4), pp. 43:1-43:27, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Mukul S. Bansal, Ron Shamir |
A Note on the Fixed Parameter Tractability of the Gene-Duplication Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 8(3), pp. 848-850, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Johan Kwisthout |
Most probable explanations in Bayesian networks: Complexity and tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 52(9), pp. 1452-1469, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Martin C. Cooper, Stanislav Zivný |
Hybrid tractability of valued constraint problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 175(9-10), pp. 1555-1569, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 42, pp. 55-90, 2011. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1111.5872, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Fedor V. Fomin, Stefan Kratsch, Marcin Pilipczuk, Michal Pilipczuk, Yngve Villanger |
Subexponential fixed-parameter tractability of cluster editing ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1112.4419, 2011. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1112.2372, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Fedor V. Fomin, Michal Pilipczuk |
Jungles, bundles, and fixed parameter tractability ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1112.1538, 2011. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1110.0259, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Manuel Bodirsky, Dugald Macpherson, Johan Thapper |
Constraint Satisfaction Tractability from Semi-lattice Operations on Infinite Sets ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1111.6616, 2011. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1103.1542, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Leszek Plaskota, Grzegorz W. Wasilkowski |
Tractability of infinite-dimensional integration in the worst case and randomized settings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 27(6), pp. 505-518, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Michael Gnewuch, Henryk Wozniakowski |
Quasi-polynomial tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 27(3-4), pp. 312-330, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Anargyros Papageorgiou, Iasonas Petras |
Tractability of tensor product problems in the average case setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 27(3-4), pp. 273-280, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Josef Dick, Gerhard Larcher, Friedrich Pillichshammer, Henryk Wozniakowski |
Exponential convergence and tractability of multivariate integration for Korobov spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 80(274), pp. 905-930, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota 0001 |
Partially-commutative context-free processes: Expressibility and tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 209(5), pp. 782-798, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Martin Stigge, Pontus Ekberg, Nan Guan, Wang Yi 0001 |
On the Tractability of Digraph-Based Task Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011, Porto, Portugal, 5-8 July, 2011, pp. 162-171, 2011, IEEE Computer Society, 978-0-7695-4442-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching - 22nd Annual Symposium, CPM 2011, Palermo, Italy, June 27-29, 2011. Proceedings, pp. 90-103, 2011, Springer, 978-3-642-21457-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Laurent Bulteau, Guillaume Fertin, Minghui Jiang 0001, Irena Rusu |
Tractability and Approximability of Maximal Strip Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching - 22nd Annual Symposium, CPM 2011, Palermo, Italy, June 27-29, 2011. Proceedings, pp. 336-349, 2011, Springer, 978-3-642-21457-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Dan Suciu |
Tractability in probabilistic databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2011, 14th International Conference, Uppsala, Sweden, March 21-24, 2011, Proceedings, pp. 1-2, 2011, ACM, 978-1-4503-0529-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Gianluigi Greco, Francesco Scarcello |
Structural Tractability of Constraint Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 340-355, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Dániel Marx, Igor Razgon |
Fixed-parameter tractability of multicut parameterized by the size of the cutset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 43rd ACM Symposium on Theory of Computing, STOC 2011, San Jose, CA, USA, 6-8 June 2011, pp. 469-478, 2011, ACM, 978-1-4503-0691-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev |
On (In)Tractability of OBDA with OWL 2 QL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Prabhanjan Ananth, Meghana Nasre, Kanthi K. Sarpatwar |
Rainbow Connectivity: Hardness and Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, December 12-14, 2011, Mumbai, India, pp. 241-251, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-34-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Felix Brandt 0001, Markus Brill, Hans Georg Seedig |
On the Fixed-Parameter Tractability of Composition-Consistent Tournament Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pp. 85-90, 2011, IJCAI/AAAI, 978-1-57735-516-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Enela Pema, Phokion G. Kolaitis, Wang Chiew Tan |
On the tractability and intractability of consistent conjunctive query answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT/ICDT Ph.D. Workshop ![In: Proceedings of the 2011 Joint EDBT/ICDT Ph.D. Workshop, Uppsala, Sweden, March 25, 2011, pp. 38-44, 2011, ACM, 978-1-4503-0696-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Peter Damaschke |
Sparse Solutions of Sparse Linear Systems: Fixed-Parameter Tractability and an Application of Complex Group Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: Parameterized and Exact Computation - 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers, pp. 94-105, 2011, Springer, 978-3-642-28049-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Sylvain Guillemot, Vincent Berry |
Fixed-Parameter Tractability of the Maximum Agreement Supertree Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 7(2), pp. 342-353, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Aleksandrs Slivkins |
Parameterized Tractability of Edge-Disjoint Paths on Directed Acyclic Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 24(1), pp. 146-157, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 174(1), pp. 105-132, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 174(9-10), pp. 570-584, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Xin Li 0033, William K. Cheung 0001, Jiming Liu 0001 |
Improving POMDP Tractability via Belief Compression and Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 40(1), pp. 125-136, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Discrete Algorithms ![In: J. Discrete Algorithms 8(1), pp. 76-86, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Dániel Marx, Igor Razgon |
Fixed-parameter tractability of multicut parameterized by the size of the cutset ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1010.3633, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Martin C. Cooper, Stanislav Zivný |
Hybrid tractability of soft constraint problems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1008.4071, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Gianluigi Greco, Francesco Scarcello |
On The Power of Tree Projections: Structural Tractability of Enumerating CSP Solutions ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1005.1567, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Anargyros Papageorgiou, Henryk Wozniakowski |
Tractability through increasing smoothness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 26(5), pp. 409-421, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Agha Iqbal Ali, Debra J. O'Connor |
The impact of distribution system characteristics on computational tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 200(2), pp. 323-333, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari 0001 |
Special issue on automated deduction: Decidability, complexity, tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 45(2), pp. 151-152, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networks ![In: Networks 56(2), pp. 116-130, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Lusheng Wang 0001, Binhai Zhu |
On the Tractability of Maximal Strip Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Biol. ![In: J. Comput. Biol. 17(7), pp. 907-914, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 39(7), pp. 3023-3037, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Fernando Bobillo, Miguel Delgado 0001 |
Tractability of the Crisp Representations of Tractable Fuzzy Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
URSW ![In: Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010), collocated with the 9th International Semantic Web Conference (ISWC-2010), Shanghai, China, November 7, 2010, pp. 109-112, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 21st Annual Symposium, CPM 2010, New York, NY, USA, June 21-23, 2010. Proceedings, pp. 214-226, 2010, Springer, 978-3-642-13508-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Yasunori Ishihara, Shougo Shimizu, Toru Fujiwara |
Extending the Tractability Results on XPath Satisfiability with Sibling Axes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XSym ![In: Database and XML Technologies - 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings, pp. 33-47, 2010, Springer, 978-3-642-15683-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Wim Martens, Matthias Niewerth, Thomas Schwentick |
Schema design for XML repositories: complexity and tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2010, June 6-11, 2010, Indianapolis, Indiana, USA, pp. 239-250, 2010, ACM, 978-1-4503-0033-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, pp. 977-978, 2010, IOS Press, 978-1-60750-605-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Paul E. Dunne |
Tractability in Value-based Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMMA ![In: Computational Models of Argument: Proceedings of COMMA 2010, Desenzano del Garda, Italy, September 8-10, 2010., pp. 195-206, 2010, IOS Press, 978-1-60750-618-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 8, papers from the eighth conference on `Advances in Modal Logic,` held in Moscow, Russia, 24-27 August 2010, pp. 271-291, 2010, College Publications, 978-1-84890-013-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi, Yuri Pirola |
Parameterized Complexity of k-Anonymity: Hardness and Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOCA ![In: Combinatorial Algorithms - 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers, pp. 242-255, 2010, Springer, 978-3-642-19221-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Gianluigi Greco, Francesco Scarcello |
Structural Tractability of Enumerating CSP Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings, pp. 236-251, 2010, Springer, 978-3-642-15395-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Stefan S. Dantchev, Barnaby Martin |
The Limits of Tractability in Resolution-Based Propositional Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings, pp. 98-107, 2010, Springer, 978-3-642-13961-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Yong Gao 0001 |
Data reductions, fixed parameter tractability, and random weighted d-CNF satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 173(14), pp. 1343-1366, 2009. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0905.4930, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Patrick Coquillard, Alexandre Muzy, Eric Wajnberg |
Activatability for simulation tractability of NP problems: Application to Ecology ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0906.4454, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Panos Giannopoulos, Christian Knauer, Günter Rote, Daniel Werner |
Fixed-parameter tractability and lower bounds for stabbing problems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0906.3896, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Anargyros Papageorgiou, Iasonas Petras |
On the tractability of linear tensor product problems in the worst case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 25(5), pp. 415-419, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 25(6), pp. 568-600, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Yijia Chen, Jörg Flum |
Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 19(1), pp. 89-122, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Environ. Model. Softw. ![In: Environ. Model. Softw. 24(12), pp. 1457-1466, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Patricia A. Evans, Todd Wareham, Rhonda Chaytor |
Fixed-parameter tractability of anonymizing data by suppressing entries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 18(4), pp. 362-375, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Marko Samer, Stefan Szeider |
Fixed-Parameter Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Satisfiability ![In: Handbook of Satisfiability, pp. 425-454, 2009, IOS Press, 978-1-58603-929-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Jon Lee 0001 |
On the Boundary of Tractability for Nonlinear Discrete Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTW ![In: Proceedings of the 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, CTW 2009, Paris, France, June 2-4 2009, pp. 373-383, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Lusheng Wang 0001, Binhai Zhu |
On the Tractability of Maximal Strip Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings, pp. 400-409, 2009, Springer, 978-3-642-02016-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 48th IEEE Conference on Decision and Control, CDC 2009, combined withe the 28th Chinese Control Conference, December 16-18, 2009, Shanghai, China, pp. 7381-7386, 2009, IEEE, 978-1-4244-3871-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | James Robert Morrison |
Equipment Models for Fab Level Proudction Simulation: Practical Features and Computational Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2009 Winter Simulation Conference, WSC 2009, Hilton Austin Hotel, Austin, TX, USA, December 13-16, 2009, pp. 1581-1591, 2009, IEEE, 978-1-4244-5770-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Paul C. Kainen, Vera Kurková, Marcello Sanguineti |
On Tractability of Neural-Network Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANNGA ![In: Adaptive and Natural Computing Algorithms, 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers, pp. 11-21, 2009, Springer, 978-3-642-04920-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT ![In: Proceedings of the 13th Annual conference of the European Association for Machine Translation, EAMT 2009, Barcelona, Spain, Map 14-15, 2009, 2009, European Association for Machine Translation. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Tad Zawidzki |
Theory of mind, computational tractability, and mind shaping: 2009 Performance Metrics for Intelligent Systems Workshop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerMIS ![In: Proceedings of the 9th Workshop on Performance Metrics for Intelligent Systems, PerMIS '09, Gaithersburg, Maryland, USA, September 21-23, 2009, pp. 149-154, 2009, ACM, 978-1-60558-747-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Valeria Fionda, Gianluigi Greco |
Charting the Tractability Frontier of Mixed Multi-Unit Combinatorial Auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009, pp. 134-139, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Membrane Computing ![In: Membrane Computing, 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers, pp. 289-300, 2009, Springer, 978-3-642-11466-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Julia Böttcher, Dan Vilenchik |
On the tractability of coloring semirandom graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 108(3), pp. 143-149, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Iain A. Stewart |
On the fixed-parameter tractability of parameterized model-checking problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 106(1), pp. 33-36, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | David A. Cohen, Peter Jeavons 0001, Marc Gyssens |
A unified theory of structural tractability for constraint satisfaction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 74(5), pp. 721-743, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Michael Katz 0001, Carmel Domshlak |
New Islands of Tractability of Cost-Optimal Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 32, pp. 203-288, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Lucas Bordeaux, Marco Cadoli, Toni Mancini |
A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 32, pp. 607-629, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR08, 2008. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0805.0498, 2008. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0806.0920, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Aicke Hinrichs, Friedrich Pillichshammer, Wolfgang Ch. Schmid |
Tractability properties of the weighted star discrepancy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 24(2), pp. 134-143, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 21(4), pp. 326-331, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Erik D. Goodman, Ronald C. Averill, Ranny Sidhu |
Multi-Level Decomposition for Tractability in Structural Design Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Evolutionary Computation in Practice ![In: Evolutionary Computation in Practice, pp. 41-62, 2008, Springer, 978-3-540-75770-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings, pp. 258-269, 2008, Springer, 978-3-540-92181-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Roman Barták, Ondrej Cepek |
Nested temporal networks with alternatives: recognition and tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 156-157, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
temporal networks, complexity, constraints, alternatives |
16 | Henrik Björklund, Wim Martens |
The Tractability Frontier for NFA Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations, pp. 27-38, 2008, Springer, 978-3-540-70582-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Georg Gottlob, Reinhard Pichler, Fang Wei 0001 |
Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008, pp. 1541-1546, 2008, AAAI Press, 978-1-57735-368-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Naiqi Wu, MengChu Zhou |
Tractability of deadlock avoidance problem in automated manufacturing systems modeled with Petri Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Singapore, 12-15 October 2008, pp. 2081-2086, 2008, IEEE, 978-1-4244-2383-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Serdar Yüksel |
Stochastic nestedness and information analysis of tractability in decentralized control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Allerton ![In: 46th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2008, Monticello, IL, USA, September 24-26, 2008, pp. 1465-1472, 2008, IEEE, 978-1-4244-2925-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Martin James Green, Christopher Jefferson |
Structural Tractability of Propagated Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings, pp. 372-386, 2008, Springer, 978-3-540-85957-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | T. K. Satish Kumar |
A Framework for Hybrid Tractability Results in Boolean Weighted Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings, pp. 282-297, 2008, Springer, 978-3-540-85957-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Rhonda Chaytor, Patricia A. Evans, Todd Wareham |
Fixed-Parameter Tractability of Anonymizing Data by Suppressing Entries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOA ![In: Combinatorial Optimization and Applications, Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008. Proceedings, pp. 23-31, 2008, Springer, 978-3-540-85096-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Fedor V. Fomin, Petr A. Golovach, Jan Kratochvíl |
On tractability of Cops and Robbers game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy, pp. 171-185, 2008, Springer, 978-0-387-09679-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, ICAPS 2008, Sydney, Australia, September 14-18, 2008, pp. 99-106, 2008, AAAI, 978-1-57735-386-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 277-292, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Matthias Hagen |
On the fixed-parameter tractability of the equivalence test of monotone normal forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 103(4), pp. 163-167, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Wim Martens, Frank Neven |
Frontiers of tractability for typechecking simple XML transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 73(3), pp. 362-390, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Emil W. Kiss, Matthew Valeriote |
On tractability and congruence distributivity ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0705.2229, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
16 | Michael Gnewuch, Henryk Wozniakowski |
Generalized tractability for multivariate problems Part I: Linear tensor product problems and linear information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 23(2), pp. 262-295, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|