Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Takehiro Ito, Marcin Jakub Kaminski, Hirotaka Ono 0001 |
Fixed-Parameter Tractability of Token Jumping on Planar Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation - 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings, pp. 208-219, 2014, Springer, 978-3-319-13074-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Matthias Mnich, Andreas Wiese |
Scheduling and Fixed-Parameter Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization - 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014. Proceedings, pp. 381-392, 2014, Springer, 978-3-319-07556-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Michal Wrona |
Tractability Frontier for Dually-Closed Ord-Horn Quantified Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS (1) ![In: Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I, pp. 535-546, 2014, Springer, 978-3-662-44521-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Pawel Siedlecki |
Uniform Weak Tractability of Weighted Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCQMC ![In: Monte Carlo and Quasi-Monte Carlo Methods, MCQMC 2014, Leuven, Belgium, April 2014, pp. 545-555, 2014, Springer, 978-3-319-33505-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Xuan Zhou, Fred J. Hickernell |
Tractability of Function Approximation with Product Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCQMC ![In: Monte Carlo and Quasi-Monte Carlo Methods, MCQMC 2014, Leuven, Belgium, April 2014, pp. 583-598, 2014, Springer, 978-3-319-33505-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Peter Kritzer, Friedrich Pillichshammer |
Tractability of Multivariate Integration in Hybrid Function Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCQMC ![In: Monte Carlo and Quasi-Monte Carlo Methods, MCQMC 2014, Leuven, Belgium, April 2014, pp. 437-454, 2014, Springer, 978-3-319-33505-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Gianluigi Greco, Francesco Scarcello |
Counting solutions to conjunctive queries: structural and hybrid tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS'14, Snowbird, UT, USA, June 22-27, 2014, pp. 132-143, 2014, ACM, 978-1-4503-2375-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Pablo Barceló, Miguel Romero 0001, Moshe Y. Vardi |
Does query evaluation tractability help query containment? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS'14, Snowbird, UT, USA, June 22-27, 2014, pp. 188-199, 2014, ACM, 978-1-4503-2375-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Mathias Niepert, Guy Van den Broeck |
Tractability through Exchangeability: A New Perspective on Efficient Probabilistic Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada., pp. 2467-2475, 2014, AAAI Press, 978-1-57735-661-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Michal Wrona |
Local-to-Global Consistency Implies Tractability of Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada., pp. 1128-1134, 2014, AAAI Press, 978-1-57735-661-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Gianluigi Greco, Francesco Scarcello |
Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: 22nd Italian Symposium on Advanced Database Systems, SEBD 2014, Sorrento Coast, Italy, June 16-18, 2014., pp. 216-223, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Rui Liu, Alex F. Mills, James H. Anderson |
Independence Thresholds: Balancing Tractability and Practicality in Soft Real-Time Stochastic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, RTSS 2014, Rome, Italy, December 2-5, 2014, pp. 314-323, 2014, IEEE Computer Society, 978-1-4799-7287-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Soyeon Im, Mye M. Sohn, Sunghwan Jeong, Hyun Jung Lee |
Keyword-Based SPARQL Query Generation System to Improve Semantic Tractability on LOD Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMIS ![In: Eighth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2014, Birmingham, United Kingdom, 2-4 July, 2014, pp. 102-109, 2014, IEEE Computer Society, 978-1-4799-4333-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Martin C. Cooper, Frederic Maris, Pierre Régnier |
Monotone Temporal Planning: Tractability, Extensions and Applications - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, pp. 928-932, 2014, Springer, 978-3-319-10427-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Stefano Beretta 0001, Riccardo Dondi |
Gene Tree Correction by Leaf Removal and Modification: Tractability and Approximability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, pp. 42-52, 2014, Springer, 978-3-319-08018-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Hubie Chen |
The tractability frontier of graph-like first-order query sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL-LICS ![In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, pp. 31:1-31:9, 2014, ACM, 978-1-4503-2886-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Lirong Xia |
Fixed-parameter tractability of integer generalized scoring rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014, pp. 1599-1600, 2014, IFAAMAS/ACM, 978-1-4503-2738-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Sjur K. Dyrkolbotn, Piotr Kazmierczak |
Playing with norms: tractability of normative systems for homogeneous game structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014, pp. 125-132, 2014, IFAAMAS/ACM, 978-1-4503-2738-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Leszek Plaskota |
Continuous Problems: Optimality, Complexity, Tractability (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings, pp. 357-372, 2014, Springer, 978-3-319-10514-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Robert D. Fink |
Evaluation of relational algebra queries on probabilistic databases : tractability and approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
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) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 62(2), pp. 863-873, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Bodirsky, H. Dugald Macpherson, Johan Thapper |
Constraint satisfaction tractability from semi-lattice operations on infinite sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 14(4), pp. 30:1-30:19, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Shaun M. Kandathil, Timothy L. Fletcher, Yongna Yuan, Joshua D. Knowles, Paul L. A. Popelier |
Accuracy and tractability of a kriging model of intramolecular polarizable multipolar electrostatics and its application to histidine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Chem. ![In: J. Comput. Chem. 34(21), pp. 1850-1861, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI 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) |
Comput. Geom. ![In: Comput. Geom. 46(7), pp. 839-860, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Jinbo Huang, Jason Jingshi Li, Jochen Renz |
Decomposition and tractability in qualitative spatial and temporal reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 195, pp. 140-164, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Valeria Fionda, Gianluigi Greco |
The complexity of mixed multi-unit combinatorial auctions: Tractability under structural and qualitative restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 196, pp. 1-25, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
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) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 511, pp. 137-146, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Riccardo Dondi, Giancarlo Mauri, Italo Zoppis |
The l-Diversity problem: Tractability and approximability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 511, pp. 159-171, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Michael J. Bannister, David Eppstein, Joseph A. Simons |
Fixed parameter tractability of crossing minimization of almost-trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1308.5741, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Matthias Mnich, Andreas Wiese |
Scheduling Meets Fixed-Parameter Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1311.4021, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Bogdan Cautis, Alin Deutsch, Ioana Ileana, Nicola Onose |
Rewriting XPath Queries using View Intersections: Tractability versus Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1308.5585, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Jef Wijsen |
Charting the Tractability Frontier of Certain Conjunctive Query Answering ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1301.1003, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Evgenij Thorstensen |
Lifting Structural Tractability to CSP with Global Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1307.1790, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli 0001 |
On the Tractability of Minimal Model Computation for Some CNF Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1310.8120, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Florent R. Madelaine, Barnaby Martin |
QCSP on partially reflexive cycles - the wavy line of tractability ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1303.0041, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Arnaud Durand 0001, Stefan Mengel |
Structural Tractability of Counting of Solutions to Conjunctive Queries ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1303.2059, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Anna Huber, Andrei A. Krokhin |
Oracle Tractability of Skew Bisubmodular Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1308.6505, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Markus Hegland, Grzegorz W. Wasilkowski |
On tractability of approximation in special function spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 29(1), pp. 76-91, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Grzegorz W. Wasilkowski |
On tractability of linear tensor product problems for ∞∞-variate classes of functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 29(5), pp. 351-369, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Pawel Siedlecki |
Uniform weak tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 29(6), pp. 438-453, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Gianluigi Greco, Francesco Scarcello |
Structural tractability of enumerating CSP solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 18(1), pp. 38-74, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Paola Bonizzoni, Riccardo Dondi, Yuri Pirola |
Maximum Disjoint Paths on Edge-Colored Graphs: Approximability and Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithms ![In: Algorithms 6(1), pp. 1-11, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Johannes Klaus Fichte |
Backdoors to the Tractability of Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 13(4-5-Online-Supplemen), 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
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) |
J. Comb. Optim. ![In: J. Comb. Optim. 26(1), pp. 19-43, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI 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) |
SIAM J. Comput. ![In: SIAM J. Comput. 42(4), pp. 1674-1696, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Fedor V. Fomin, Michal Pilipczuk |
Jungles, bundles, and fixed parameter tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2013, New Orleans, Louisiana, USA, January 6-8, 2013, pp. 396-413, 2013, SIAM, 978-1-61197-251-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Peter Damaschke, Ömer Egecioglu, Leonid Molokov |
Fixed-Parameter Tractability of Error Correction in Graphical Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WALCOM ![In: WALCOM: Algorithms and Computation, 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings, pp. 245-256, 2013, Springer, 978-3-642-36064-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Nirav Bhan, Luca Baldassarre, Volkan Cevher |
Tractability of interpretability via selection of group-sparse models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: Proceedings of the 2013 IEEE International Symposium on Information Theory, Istanbul, Turkey, July 7-12, 2013, pp. 1037-1041, 2013, IEEE, 978-1-4799-0446-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Jef Wijsen |
Charting the tractability frontier of certain conjunctive query answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013, New York, NY, USA - June 22 - 27, 2013, pp. 189-200, 2013, ACM, 978-1-4503-2066-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Hans L. Bodlaender, Stefan Kratsch, Vincent J. C. Kreuzen |
Fixed-Parameter Tractability and Characterizations of Small Special Treewidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science - 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers, pp. 88-99, 2013, Springer, 978-3-642-45042-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Nirav Bhan, Luca Baldassarre, Volkan Cevher |
Tractability of interpretability via selection of group-sparse models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GlobalSIP ![In: IEEE Global Conference on Signal and Information Processing, GlobalSIP 2013, Austin, TX, USA, December 3-5, 2013, pp. 632, 2013, IEEE, 978-1-4799-0248-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Johannes Klaus Fichte |
Backdoors to Tractability of Answer-Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA., pp. 1662-1663, 2013, AAAI Press, 978-1-57735-615-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Florent R. Madelaine, Barnaby Martin |
QCSP on Partially Reflexive Cycles - The Wavy Line of Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications - 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings, pp. 322-333, 2013, Springer, 978-3-642-38535-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Gianluigi Greco, Francesco Scarcello |
Structural Tractability of ORDER BY Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: 21st Italian Symposium on Advanced Database Systems, SEBD 2013, Roccella Jonica, Reggio Calabria, Italy, June 30 - July 4, 2013., pp. 359-372, 2013, Curran Associates, 978-1-62993-949-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Tarek Richard Besold, Robert Robere |
A Note on Tractability and Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGI ![In: Artificial General Intelligence - 6th International Conference, AGI 2013, Beijing, China, July 31 - August 3, 2013 Proceedings, pp. 170-173, 2013, Springer, 978-3-642-39520-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Michael J. Bannister, David Eppstein, Joseph A. Simons |
Fixed Parameter Tractability of Crossing Minimization of Almost-Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing - 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers, pp. 340-351, 2013, Springer, 978-3-319-03840-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Arnaud Durand 0001, Stefan Mengel |
Structural tractability of counting of solutions to conjunctive queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Joint 2013 EDBT/ICDT Conferences, ICDT '13 Proceedings, Genoa, Italy, March 18-22, 2013, pp. 81-92, 2013, ACM, 978-1-4503-1598-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Evgenij Thorstensen |
Lifting Structural Tractability to CSP with Global Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings, pp. 661-677, 2013, Springer, 978-3-642-40626-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Simon Coupland, Stephen G. Matthews 0001 |
Using nonstationary fuzzy sets to improve the tractability of fuzzy association rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
T2FUZZ ![In: 2013 IEEE Symposium on Advances in Type-2 Fuzzy Logic Systems, T2FUZZ 2013, Singapore, Singapore, April 16-19, 2013, pp. 9-14, 2013, IEEE, 978-1-4673-5865-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Göller |
The Fixed-Parameter Tractability of Model Checking Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy, pp. 332-347, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-60-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Meghyn Bienvenu, Magdalena Ortiz 0001, Mantas Simkus, Guohui Xiao 0001 |
Tractability Guarantees for DL-Lite Query Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pp. 41-52, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Christian Bessiere, Clément Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh |
Detecting and Exploiting Subproblem Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pp. 468-474, 2013, IJCAI/AAAI, 978-1-57735-633-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Gianluigi Greco, Francesco Scarcello |
Constraint Satisfaction and Fair Multi-Objective Optimization Problems: Foundations, Complexity, and Islands of Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pp. 545-551, 2013, IJCAI/AAAI, 978-1-57735-633-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Jason Crampton, Robert Crowston, Gregory Z. Gutin, Mark Jones 0001, M. S. Ramanujan 0001 |
Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW-AAIM ![In: Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings, pp. 198-209, 2013, Springer, 978-3-642-38755-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Evgenij Thorstensen |
Hybrid tractability of constraint satisfaction problems with global constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
16 | Sasthi C. Ghosh 0001, Roger M. Whitaker, Stuart M. Allen, Steve Hurley |
Dynamic data resolution to improve the tractability of UMTS network planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 201(1), pp. 197-227, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI 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) |
Algorithmica ![In: Algorithmica 62(1-2), pp. 309-332, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
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) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 440-441, pp. 14-28, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Henrik Björklund, Wim Martens |
The tractability frontier for NFA minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 78(1), pp. 198-210, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | David A. Cohen, Martin C. Cooper, Páidí Creed, Dániel Marx, András Z. Salamon |
The Tractability of CSP Classes Defined by Forbidden Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 45, pp. 47-78, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Camilo Thorne, Diego Calvanese |
Tractability and Intractability of Controlled Languages for Data Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 100(4), pp. 787-813, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Paul C. Kainen, Vera Kurková, Marcello Sanguineti |
Dependence of Computational Models on Input Dimension: Tractability of Approximation and Optimization Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 58(2), pp. 1203-1214, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jason Crampton, Robert Crowston, Gregory Z. Gutin, Mark Jones 0001, M. S. Ramanujan 0001 |
Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1210.3978, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Stefan Kratsch, Marcin Pilipczuk, Michal Pilipczuk, Magnus Wahlström |
Fixed-parameter tractability of multicut in directed acyclic graphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1202.5749, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Bogdan Cautis, Evgeny Kharlamov |
Answering Queries using Views over Probabilistic XML: Complexity and Tractability ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1208.0078, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Erik D. Demaine, MohammadTaghi Hajiaghayi, Dániel Marx |
Minimizing Movement: Fixed-Parameter Tractability ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1205.6960, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Robert Crowston, Gregory Z. Gutin, Mark Jones 0001, Venkatesh Raman 0001, Saket Saurabh 0001, Anders Yeo |
Fixed-parameter tractability of satisfying beyond the number of variables ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1212.0106, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Yong Gao |
Phase Transition of Tractability in Constraint Satisfaction and Bayesian Network Inference ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1212.2485, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Steven Kelk, Céline Scornavacca |
Towards the fixed parameter tractability of constructing minimal phylogenetic networks from arbitrary sets of nonbinary trees ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1207.7034, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Markus Weimar |
Tractability results for weighted Banach spaces of smooth functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 28(1), pp. 59-75, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | M. A. Lifshits, Anargyros Papageorgiou, Henryk Wozniakowski |
Average case tractability of non-homogeneous tensor product problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 28(5-6), pp. 539-561, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Bogdan Cautis, Evgeny Kharlamov |
Answering Queries using Views over Probabilistic XML: Complexity and Tractability. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 5(11), pp. 1148-1159, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Satoru Iwata 0001, Mizuyo Takamatsu, Caren Tischendorf |
Tractability index of hybrid equations for circuit simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 81(278), pp. 923-939, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
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) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 163(6), pp. 656-668, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Ken-ichi Kawarabayashi, Yusuke Kobayashi 0001 |
Fixed-parameter tractability for the subset feedback set problem and the S-cycle packing problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 102(4), pp. 1020-1034, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Boris Motik |
Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings, pp. 13-14, 2012, Springer, 978-3-642-28716-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI 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) |
SODA ![In: Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2012, Kyoto, Japan, January 17-19, 2012, pp. 1713-1725, 2012, SIAM, 978-1-61197-210-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Yair Zick, Georgios Chalkiadakis, Edith Elkind |
Overlapping coalition formation games: charting the tractability frontier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes), pp. 787-794, 2012, IFAAMAS. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Daniel Lokshtanov, M. S. Ramanujan 0001 |
Parameterized Tractability of Multiway Cut with Parity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (1) ![In: Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I, pp. 750-761, 2012, Springer, 978-3-642-31593-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Kratsch, Marcin Pilipczuk, Michal Pilipczuk, Magnus Wahlström |
Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (1) ![In: Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I, pp. 581-593, 2012, Springer, 978-3-642-31593-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Michael A. Langston |
Fixed-Parameter Tractability, A Prehistory, . ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Multivariate Algorithmic Revolution and Beyond ![In: The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday, pp. 3-16, 2012, Springer, 978-3-642-30890-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Hans L. Bodlaender |
Fixed-Parameter Tractability of Treewidth and Pathwidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Multivariate Algorithmic Revolution and Beyond ![In: The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday, pp. 196-227, 2012, Springer, 978-3-642-30890-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Filip Murlak, Michal Oginski, Marcin Przybylko |
Between Tree Patterns and Conjunctive Queries: Is There Tractability beyond Acyclicity? ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2012 - 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings, pp. 705-717, 2012, Springer, 978-3-642-32588-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Robert Crowston, Gregory Z. Gutin, Mark Jones 0001, Venkatesh Raman 0001, Saket Saurabh 0001, Anders Yeo |
Fixed-Parameter Tractability of Satisfying beyond the Number of Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, pp. 355-368, 2012, Springer, 978-3-642-31611-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Rasool Fakoor, Manfred Huber |
Improving tractability of POMDPs by separation of decision and perceptual processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012, Seoul, Korea (South), October 14-17, 2012, pp. 593-598, 2012, IEEE, 978-1-4673-1713-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Michael C. Caramanis, Evgeniy Goldis, Pablo A. Ruiz, Aleksandr Rudkevich |
Power market reform in the presence of flexible schedulable distributed loads. New bid rules, equilibrium and tractability issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Allerton Conference ![In: 50th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2012, Allerton Park & Retreat Center, Monticello, IL, USA, October 1-5, 2012, pp. 1089-1096, 2012, IEEE, 978-1-4673-4537-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Abhay Kumar Jha, Dan Suciu |
On the tractability of query compilation and bounded treewidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: 15th International Conference on Database Theory, ICDT '12, Berlin, Germany, March 26-29, 2012, pp. 249-261, 2012, ACM, 978-1-4503-0791-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Sepp Hartung, André Nichterlein |
NP-Hardness and Fixed-Parameter Tractability of Realizing Degree Sequences with Directed Acyclic Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings, pp. 283-292, 2012, Springer, 978-3-642-30869-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Chihao Zhang 0001, Hongyang Zhang 0005 |
Fixed-Parameter Tractability of almost CSP Problem with Decisive Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW-AAIM ![In: Frontiers in Algorithmics and Algorithmic Aspects in Information and Management - Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings, pp. 224-234, 2012, Springer, 978-3-642-29699-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Petter Strandmark |
Discrete Optimization in Early Vision - Model Tractability Versus Fidelity. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|