Search results for "Tractability"

Hits ?▲	Authors	Title	Venue	Year	Link
16	David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Jimmy H. M. Lee, Ka Lun Leung, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex, Yi Wu	Tractability-preserving transformations of global cost functions.	Artif. Intell.	2016	DBLP DOI BibTeX RDF
16	Stefano Beretta 0001, Mauro Castelli, Riccardo Dondi	Parameterized tractability of the maximum-duo preservation string mapping problem.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
16	Stefano Beretta 0001, Mauro Castelli, Riccardo Dondi	Corrigendum to "Parameterized tractability of the maximum-duo preservation string mapping problem" [Theoret. Comput. Sci. 646(2016) 16-25].	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
16	Erich Christian Teppan, Gerhard Friedrich, Georg Gottlob	Tractability frontiers of the partner units configuration problem.	J. Comput. Syst. Sci.	2016	DBLP DOI BibTeX RDF
16	Rada Chirkova	Combined-semantics equivalence of conjunctive queries: Decidability and tractability results.	J. Comput. Syst. Sci.	2016	DBLP DOI BibTeX RDF
16	Gianluigi Greco, Francesco Scarcello	Greedy Strategies and Larger Islands of Tractability for Conjunctive Queries and Constraint Satisfaction Problems.	CoRR	2016	DBLP BibTeX RDF
16	Mostafa Milani, Leopoldo E. Bertossi	Extending Weakly-Sticky Datalog+/-: Query-Answering Tractability and Optimizations.	CoRR	2016	DBLP BibTeX RDF
16	Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart	Combined Tractability of Query Evaluation via Tree Automata and Cycluits (Extended Version).	CoRR	2016	DBLP BibTeX RDF
16	Lei Lei 0001, Di Yuan 0001, Chin Keong Ho, Sumei Sun	Power and Channel Allocation for Non-orthogonal Multiple Access in 5G Systems: Tractability and Computation.	CoRR	2016	DBLP BibTeX RDF
16	Andras Farago	Roughly Polynomial Time: A Concept of Tractability Covering All Known Natural NP-complete Problems.	CoRR	2016	DBLP BibTeX RDF
16	M. Rajaati, Mohammad Reza Hooshmandasl, Michael J. Dinneen, Ali Shakiba	On fixed-parameter tractability of the mixed domination problem for graphs with bounded tree-width.	CoRR	2016	DBLP BibTeX RDF
16	Hubie Chen, Benoît Larose	Asking the metaquestions in constraint tractability.	CoRR	2016	DBLP BibTeX RDF
16	Alexey A. Khartov	A simplified criterion for quasi-polynomial tractability of approximation of random elements and its applications.	J. Complex.	2016	DBLP DOI BibTeX RDF
16	Yongping Liu, Guiqiao Xu	A note on tractability of multivariate analytic problems.	J. Complex.	2016	DBLP DOI BibTeX RDF
16	Christian Irrgeher, Peter Kritzer, Friedrich Pillichshammer, Henryk Wozniakowski	Tractability of multivariate approximation defined over Hilbert spaces with exponential weights.	J. Approx. Theory	2016	DBLP DOI BibTeX RDF
16	Erich Novak, Henryk Wozniakowski	Tractability of multivariate problems for standard and linear information in the worst case setting: Part I.	J. Approx. Theory	2016	DBLP DOI BibTeX RDF
16	Clément Carbonnel, Martin C. Cooper	Tractability in constraint satisfaction problems: a survey.	Constraints An Int. J.	2016	DBLP DOI BibTeX RDF
16	Dirk Nuyens, Gowri Suryanarayana, Markus Weimar	Rank-1 lattice rules for multivariate integration in spaces of permutation-invariant functions - Error bounds and tractability.	Adv. Comput. Math.	2016	DBLP DOI BibTeX RDF
16	James M. Calvin	On the Asymptotic Tractability of Global Optimization.	Advances in Stochastic and Deterministic Global Optimization	2016	DBLP DOI BibTeX RDF
16	Shivam Garg 0001, Geevarghese Philip	Raising The Bar For Vertex Cover: Fixed-parameter Tractability Above A Higher Guarantee.	SODA	2016	DBLP DOI BibTeX RDF
16	Robert Ganian, M. S. Ramanujan 0001, Stefan Szeider	Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting.	SODA	2016	DBLP DOI BibTeX RDF
16	Manuel Bodirsky, Antoine Mottet	Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction.	LICS	2016	DBLP DOI BibTeX RDF
16	Jonah Brown-Cohen, Prasad Raghavendra	Correlation Decay and Tractability of CSPs.	ICALP	2016	DBLP DOI BibTeX RDF
16	Vladimir Estivill-Castro, Mahdi Parsa	Hardness and tractability of detecting connected communities.	ACSW	2016	DBLP DOI BibTeX RDF
16	Bruno Escoffier	Saving Colors and Max Coloring: Some Fixed-Parameter Tractability Results.	WG	2016	DBLP DOI BibTeX RDF
16	Fiodar Kazhamiaka, Catherine Rosenberg, Srinivasan Keshav, Karl-Heinz Pettinger	Li-ion storage models for energy system optimization: the accuracy-tractability tradeoff.	e-Energy	2016	DBLP DOI BibTeX RDF
16	Dominik Peters	Towards Structural Tractability in Hedonic Games.	AAAI	2016	DBLP DOI BibTeX RDF
16	Zhangquan Zhou, Guilin Qi, Birte Glimm	Exploring Parallel Tractability of Ontology Materialization.	ECAI	2016	DBLP DOI BibTeX RDF
16	Janosch Döcker, Britta Dorn, Ulle Endriss, Dominikus Krüger	Complexity and Tractability Islands for Combinatorial Auctions on Discrete Intervals with Gaps.	ECAI	2016	DBLP DOI BibTeX RDF
16	Gianluigi Greco, Francesco Lupia, Francesco Scarcello	Greedy Strategies and Larger Islands of Tractability for Conjunctive Queries.	SEBD	2016	DBLP BibTeX RDF
16	Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov	On Decidability and Tractability of Querying in Temporal EL.	Description Logics	2016	DBLP BibTeX RDF
16	Michael Katz 0001, Vitaly Mirkis	In Search of Tractability for Partial Satisfaction Planning.	IJCAI	2016	DBLP BibTeX RDF
16	Mostafa Milani, Leopoldo E. Bertossi	Extending Weakly-Sticky Datalog±: Query-Answering Tractability and Optimizations.	RR	2016	DBLP DOI BibTeX RDF
16	Clément Carbonnel	Harnessing tractability in constraint satisfaction problems. (Exploiter la traçabilité dans les problèmes de satisfaction des contraintes ).		2016	RDF
16	Arthur G. Werschulz, Henryk Wozniakowski	Tight Tractability Results for a Model Second-Order Neumann Problem.	Found. Comput. Math.	2015	DBLP DOI BibTeX RDF
16	Antonio J. Vázquez, Richard Scott Erwin	On the tractability of satellite range scheduling.	Optim. Lett.	2015	DBLP DOI BibTeX RDF
16	Stefan Kratsch, Marcin Pilipczuk, Michal Pilipczuk, Magnus Wahlström	Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs.	SIAM J. Discret. Math.	2015	DBLP DOI BibTeX RDF
16	Johan Thapper, Stanislav Zivný	Necessary Conditions for Tractability of Valued CSPs.	SIAM J. Discret. Math.	2015	DBLP DOI BibTeX RDF
16	Sepp Hartung, André Nichterlein	NP-Hardness and Fixed-Parameter Tractability of Realizing Degree Sequences with Directed Acyclic Graphs.	SIAM J. Discret. Math.	2015	DBLP DOI BibTeX RDF
16	Florent Chevillard, Peter Kolb	SCUBIDOO: A Large yet Screenable and Easily Searchable Database of Computationally Created Chemical Compounds Optimized toward High Likelihood of Synthetic Tractability.	J. Chem. Inf. Model.	2015	DBLP DOI BibTeX RDF
16	Naonori Kakimura, Ken-ichi Kawarabayashi	Fixed-parameter tractability for subset feedback set problems with parity constraints.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
16	Michael R. Fellows, Uéverton dos Santos Souza, Fábio Protti, Maise Dantas da Silva	Tractability and hardness of flood-filling games on trees.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
16	Thomas O'Neil	Representation-Independent Fixed Parameter Tractability for Vertex Cover and Weighted Monotone Satisfiability.	Electron. Colloquium Comput. Complex.	2015	DBLP BibTeX RDF
16	Stefano Beretta 0001, Mauro Castelli, Riccardo Dondi	Correcting gene tree by removal and modification: Tractability and approximability.	J. Discrete Algorithms	2015	DBLP DOI BibTeX RDF
16	Arnaud Durand 0001, Stefan Mengel	Structural Tractability of Counting of Solutions to Conjunctive Queries.	Theory Comput. Syst.	2015	DBLP DOI BibTeX RDF
16	Amélie Gheerbrant, Leonid Libkin	Certain Answers over Incomplete XML Documents: Extending Tractability Boundary.	Theory Comput. Syst.	2015	DBLP DOI BibTeX RDF
16	David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Jimmy H. M. Lee, Ka Lun Leung, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex, Yi Wu	Tractability and Decompositions of Global Cost Functions.	CoRR	2015	DBLP BibTeX RDF
16	Ridha Nasri, Aymen Jaziri	On the Analytical Tractability of Hexagonal Network Model with Random Traffic Distribution.	CoRR	2015	DBLP BibTeX RDF
16	Stefano Beretta 0001, Mauro Castelli, Riccardo Dondi	Parameterized Tractability of the Maximum-Duo Preservation String Mapping Problem.	CoRR	2015	DBLP BibTeX RDF
16	Shivam Garg 0001, Geevarghese Philip	Raising The Bar For Vertex Cover: Fixed-parameter Tractability Above A Higher Guarantee.	CoRR	2015	DBLP BibTeX RDF
16	Arnaud Durand 0001, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen	Tractability Frontier of Data Complexity in Team Semantics.	GandALF	2015	DBLP DOI BibTeX RDF
16	Johan Thapper, Stanislav Zivný	Necessary conditions for tractability of valued CSPs.	CoRR	2015	DBLP BibTeX RDF
16	Andreas D. M. Gunawan, Bhaskar DasGupta, Louxin Zhang	Stability Implies Computational Tractability: Locating a Tree in a Stable Network is Easy.	CoRR	2015	DBLP BibTeX RDF
16	Robert Ganian, M. S. Ramanujan 0001, Stefan Szeider	Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting.	CoRR	2015	DBLP BibTeX RDF
16	Guiqiao Xu	Exponential convergence-tractability of general linear problems in the average case setting.	J. Complex.	2015	DBLP DOI BibTeX RDF
16	Christiane Lemieux	Tractability using periodized generalized Faure sequences.	J. Complex.	2015	DBLP DOI BibTeX RDF
16	Kinjal Basu 0001	Quasi-Monte Carlo tractability of high dimensional integration over products of simplices.	J. Complex.	2015	DBLP DOI BibTeX RDF
16	Attila Bernáth, Zoltán Király	On the tractability of some natural packing, covering and partitioning problems.	Discret. Appl. Math.	2015	DBLP DOI BibTeX RDF
16	Guiqiao Xu	On weak tractability of the Smolyak algorithm for approximation problems.	J. Approx. Theory	2015	DBLP DOI BibTeX RDF
16	Pawel Siedlecki, Markus Weimar	Notes on (s, t)-weak tractability: A refined classification of problems with (sub)exponential information complexity.	J. Approx. Theory	2015	DBLP DOI BibTeX RDF
16	Matthias Mnich, Andreas Wiese	Scheduling and fixed-parameter tractability.	Math. Program.	2015	DBLP DOI BibTeX RDF
16	Paola Bonizzoni, Riccardo Dondi, Gunnar W. Klau, Yuri Pirola, Nadia Pisanti, Simone Zaccaria	On the Fixed Parameter Tractability and Approximability of the Minimum Error Correction Problem.	CPM	2015	DBLP DOI BibTeX RDF
16	Siddharth Srivastava 0001, Shlomo Zilberstein, Abhishek Gupta 0004, Pieter Abbeel, Stuart Russell 0001	Tractability of Planning with Loops.	AAAI	2015	DBLP DOI BibTeX RDF
16	Christer Bäckström	Some Fixed Parameter Tractability Results for Planning with Non-Acyclic Domain-Transition Graphs.	AAAI	2015	DBLP DOI BibTeX RDF
16	Mauricio Minuto Espil, María Gabriela Ojea, Maria Alejandra Ojea	Ontological Commitments, DL-Lite Logics and Reasoning Tractability.	ADBIS	2015	DBLP DOI BibTeX RDF
16	Daniel Gnad 0001, Jörg Hoffmann 0001	Red-Black Planning: A New Tractability Analysis and Heuristic Function.	SOCS	2015	DBLP DOI BibTeX RDF
16	Gianluigi Greco, Jérôme Lang	Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability.	IJCAI	2015	DBLP BibTeX RDF
16	Gianluigi Greco, Francesco Lupia, Francesco Scarcello	Structural Tractability of Shapley and Banzhaf Values in Allocation Games.	IJCAI	2015	DBLP BibTeX RDF
16	Michael J. Bannister	Lower Bounds and Fixed-Parameter Tractability of Drawing Graphs.		2015	RDF
16	Daniel Díaz-Pernil, Francisco Peña-Cantillana, Artiom Alhazov, Rudolf Freund, Miguel A. Gutiérrez-Naranjo	Antimatter as a Frontier of Tractability in Membrane Computing.	Fundam. Informaticae	2014	DBLP DOI BibTeX RDF
16	Manuel Bodirsky, Hubie Chen, Michal Wrona	Tractability of quantified temporal constraints to the max.	Int. J. Algebra Comput.	2014	DBLP DOI BibTeX RDF
16	Cédric Dégremont, Lena Kurzen, Jakub Szymanik	Exploring the tractability border in epistemic tasks.	Synth.	2014	DBLP DOI BibTeX RDF
16	Erik D. Demaine, Mohammad Taghi Hajiaghayi, Dániel Marx	Minimizing Movement: Fixed-Parameter Tractability.	ACM Trans. Algorithms	2014	DBLP DOI BibTeX RDF
16	Anna Huber, Andrei A. Krokhin	Oracle Tractability of Skew Bisubmodular Functions.	SIAM J. Discret. Math.	2014	DBLP DOI 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.	Artif. Intell.	2014	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.	Algorithmica	2014	DBLP DOI BibTeX RDF
16	Martin C. Cooper, Frederic Maris, Pierre Régnier	Monotone Temporal Planning: Tractability, Extensions and Applications.	J. Artif. Intell. Res.	2014	DBLP DOI BibTeX RDF
16	Derek J. Pitman, Christian D. Schenkelberg, Yao-ming Huang, Frank D. Teets, Daniel J. DiTursi, Christopher Bystroff	Improving computational efficiency and tractability of protein design using a piecemeal approach. A strategy for parallel and distributed protein design.	Bioinform.	2014	DBLP DOI BibTeX RDF
16	Takehiro Ito, Marcin Kaminski 0001, Hirotaka Ono 0001	Fixed-Parameter Tractability of Token Jumping on Planar Graphs.	CoRR	2014	DBLP BibTeX RDF
16	Mathias Niepert, Guy Van den Broeck	Tractability through Exchangeability: A New Perspective on Efficient Probabilistic Inference.	CoRR	2014	DBLP BibTeX RDF
16	Lucas Bordeaux, Marco Cadoli, Toni Mancini	A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability.	CoRR	2014	DBLP BibTeX RDF
16	Ko-Hsin Cindy Wang, Adi Botea	MAPP: a Scalable Multi-Agent Path Planning Algorithm with Tractability and Completeness Guarantees.	CoRR	2014	DBLP BibTeX RDF
16	Attila Bernáth, Zoltán Király	On the tractability of some natural packing, covering and partitioning problems.	CoRR	2014	DBLP BibTeX RDF
16	Yair Zick, Georgios Chalkiadakis, Edith Elkind, Evangelos Markakis	Cooperative Games with Overlapping Coalitions: Charting the Tractability Frontier.	CoRR	2014	DBLP BibTeX RDF
16	Latif Salum	On the Tractability of the Un/Reachability Problem.	CoRR	2014	DBLP BibTeX RDF
16	Hubie Chen	The Tractability Frontier of Graph-Like First-Order Query Sets.	CoRR	2014	DBLP BibTeX RDF
16	Guiqiao Xu	Quasi-polynomial tractability of linear problems in the average case setting.	J. Complex.	2014	DBLP DOI BibTeX RDF
16	Pawel Siedlecki	Uniform weak tractability of multivariate problems with increasing smoothness.	J. Complex.	2014	DBLP DOI BibTeX RDF
16	Thomas Kühn 0002, Winfried Sickel, Tino Ullrich	Approximation numbers of Sobolev embeddings - Sharp constants and tractability.	J. Complex.	2014	DBLP DOI BibTeX RDF
16	Guiqiao Xu	Tractability of linear problems defined over Hilbert spaces.	J. Complex.	2014	DBLP DOI BibTeX RDF
16	Christoph Aistleitner	Tractability results for the weighted star-discrepancy.	J. Complex.	2014	DBLP DOI BibTeX RDF
16	Anargyros Papageorgiou, Iasonas Petras	A new criterion for tractability of multivariate problems.	J. Complex.	2014	DBLP DOI BibTeX RDF
16	Grzegorz W. Wasilkowski	Tractability of approximation of ∞-variate functions with bounded mixed partial derivatives.	J. Complex.	2014	DBLP DOI BibTeX RDF
16	Jan Vybíral	Weak and quasi-polynomial tractability of approximation of infinitely differentiable functions.	J. Complex.	2014	DBLP DOI BibTeX RDF
16	Aicke Hinrichs, Erich Novak, Mario Ullrich	On weak tractability of the Clenshaw-Curtis Smolyak algorithm.	J. Approx. Theory	2014	DBLP DOI BibTeX RDF
16	Grzegorz W. Wasilkowski	Average case tractability of approximating ∞-variate functions.	Math. Comput.	2014	DBLP DOI BibTeX RDF
16	Dániel Marx, Igor Razgon	Fixed-Parameter Tractability of Multicut Parameterized by the Size of the Cutset.	SIAM J. Comput.	2014	DBLP DOI BibTeX RDF
16	Peter Kritzer, Friedrich Pillichshammer, Henryk Wozniakowski	Tractability of multivariate analytic problems.	Uniform Distribution and Quasi-Monte Carlo Methods	2014	DBLP DOI BibTeX RDF
16	Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli (eds.)	Tractability: Practical Approaches to Hard Problems		2014	DBLP DOI BibTeX RDF
16	Pavel G. Emelyanov, Denis K. Ponomaryov	On Tractability of Disjoint AND-Decomposition of Boolean Formulas.	Ershov Memorial Conference	2014	DBLP DOI BibTeX RDF