Search results for "Tractability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren 0002	Dynamic structural symmetry breaking for constraint satisfaction problems.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Dominance detection, CSP, Tractability, Symmetry breaking
18	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web.	J. Data Semantics	2009	DBLP DOI BibTeX RDF	Probabilistic description logic programs, Bayesian probabilities, merging ontology mappings, data tractability, Web Services, Semantic Web, algorithms, complexity, description logics, ontology mapping, disjunctive logic programs, answer set semantics, inconsistency handling
18	Andrea Calì, Georg Gottlob, Thomas Lukasiewicz	A general datalog-based framework for tractable query answering over ontologies.	PODS	2009	DBLP DOI BibTeX RDF	ontologies, semantic web, complexity, constraints, dependencies, datalog, conjunctive queries, query evaluation, tractability, chase
18	Andrea Calì, Georg Gottlob, Thomas Lukasiewicz	Datalog±: a unified approach to ontologies and integrity constraints.	ICDT	2009	DBLP DOI BibTeX RDF	ontologies, semantic web, complexity, databases, constraints, dependencies, datalog, conjunctive queries, query evaluation, tractability, chase
18	Hans L. Bodlaender	Kernelization: New Upper and Lower Bound Techniques.	IWPEC	2009	DBLP DOI BibTeX RDF	algorithms, kernel, kernelization, preprocessing, data reduction, fixed parameter tractability, combinatorial problems
18	David Bremner, Dan Chen 0003, John Iacono, Stefan Langerman, Pat Morin	Output-sensitive algorithms for Tukey depth and related problems.	Stat. Comput.	2008	DBLP DOI BibTeX RDF	Tukey depth, Halfspace depth, Computational statistics, Algorithms, Computational geometry, Fixed-parameter tractability
18	Gregory Z. Gutin, Stefan Szeider, Anders Yeo	Fixed-Parameter Complexity of Minimum Profile Problems.	Algorithmica	2008	DBLP DOI BibTeX RDF	Graph profile, Above guaranteed value, Kernel, Fixed parameter tractability
18	Georg Gottlob, Alan Nash	Efficient core computation in data exchange.	J. ACM	2008	DBLP DOI BibTeX RDF	complexity, data integration, constraints, dependencies, data exchange, core, conjunctive queries, query evaluation, tractability, Chase, universal solutions
18	Vadim V. Lozin	From Tree-Width to Clique-Width: Excluding a Unit Interval Graph.	ISAAC	2008	DBLP DOI BibTeX RDF	Unit interval graphs, Fixed parameter tractability, Tree-width, Clique-width
18	Jianer Chen, Iyad A. Kanj, Jie Meng, Ge Xia, Fenghui Zhang	On the Pseudo-achromatic Number Problem.	WG	2008	DBLP DOI BibTeX RDF	pseudo-achromatic number, kernel, fixed-parameter tractability, parameterized complexity
18	Mingyu Xiao 0001	Algorithms for Multiterminal Cuts.	CSR	2008	DBLP DOI BibTeX RDF	Multiterminal Cut, Graph Algorithm, Fixed Parameter Tractability, Multicut
18	Martin Grohe, Magdalena Grüber	Parameterized Approximability of the Disjoint Cycle Problem.	ICALP	2007	DBLP DOI BibTeX RDF	parameterized complexity theory, approximation algorithms, fixed-parameter tractability
18	Michael Dom, Jiong Guo, Falk Hüffner, Rolf Niedermeier	Error Compensation in Leaf Power Problems.	Algorithmica	2006	DBLP DOI BibTeX RDF	Graph modification, Forbidden subgraph characterization, NP-completeness, Graph algorithms, Fixed-parameter tractability, Leaf power, Graph power
18	Vida Dujmovic, Michael R. Fellows, Michael T. Hallett, Matthew Kitching, Giuseppe Liotta, Catherine McCartin, Naomi Nishimura, Prabhakar Ragde, Frances A. Rosamond, Matthew Suderman, Sue Whitesides, David R. Wood	A Fixed-Parameter Approach to 2-Layer Planarization.	Algorithmica	2006	DBLP DOI BibTeX RDF	Sugiyama approach, NP-complete, Graph algorithms, Graph drawing, Planarization, Fixed-parameter tractability, Crossing minimization
18	Georg Gottlob, Alan Nash	Data exchange: computing cores in polynomial time.	PODS	2006	DBLP DOI BibTeX RDF	complexity, databases, data integration, constraints, dependencies, data exchange, core, conjunctive queries, query evaluation, tractability, chase, universal solutions
18	Uriel Feige, Mohammad Mahdian	Finding small balanced separators.	STOC	2006	DBLP DOI BibTeX RDF	fixed parameter tractability, VC dimension
18	Grzegorz W. Wasilkowski, Henryk Wozniakowski	Polynomial-Time Algorithms for Multivariate Linear Problems with Finite-Order Weights: Worst Case Setting.	Found. Comput. Math.	2005	DBLP DOI BibTeX RDF	Multivariate linear problems, Finiteorder weights, Small effective dimension, Polynomial-time algorithms, Tractability
18	Vida Dujmovic, Sue Whitesides	An Efficient Fixed Parameter Tractable Algorithm for 1-Sided Crossing Minimization.	Algorithmica	2004	DBLP DOI BibTeX RDF	FPT, Sided crossing minimization, Layer crossing minimization, Layer drawings, Level drawings, NP-completeness, Graph drawing, Fixed parameter tractability
18	Jochen Alber, Michael R. Fellows, Rolf Niedermeier	Polynomial-time data reduction for dominating set.	J. ACM	2004	DBLP DOI BibTeX RDF	plannar graphs, problem kernel, NP-complete problems, dominating set, data reduction, fixed-parameter tractability
18	David A. Cohen	Tractable Decision for a Constraint Language Implies Tractable Search.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	complexity, language, tractability
18	Jens Gramm, Rolf Niedermeier, Peter Rossmanith	Fixed-Parameter Algorithms for CLOSEST STRING and Related Problems.	Algorithmica	2003	DBLP DOI BibTeX RDF	Consensus word analysis, NP-complete, Exact algorithms, Fixed-parameter tractability
18	Volker Barthelmann, Erich Novak, Klaus Ritter 0001	High dimensional polynomial interpolation on sparse grids.	Adv. Comput. Math.	2000	DBLP DOI BibTeX RDF	multivariate polynomial interpolation, least solution, 65D05, 41A63, tractability, 41A05, 41A25, sparse grids, universal method
18	Koichi Yamazaki, Hans L. Bodlaender, Babette de Fluiter, Dimitrios M. Thilikos	Isomorphism for Graphs of Bounded Distance Width.	Algorithmica	1999	DBLP DOI BibTeX RDF	Distance pathwidth, Distance treewidth, Graph isomorphism, Fixed parameter tractability
18	Masato Notomi, Tadao Murata	Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	hierarchical reachability graph, bounded Petri nets, concurrent-software analysis, communication protocol software, hierarchically organized state space, deadlock state, successor states, software engineering, Petri nets, efficiency, tractability, markings, state explosion, multiprocessing programs, hierarchical systems, state-space methods, Ada programs
18	Biswanath Mukherjee, Subrata Banerjee	Alternative Strategies for Improving the Fairness in and an Analytical Model of the DQDB Network.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	DQDB network, distributed queue dual bus, IEEE Std 802.6, DQDB interface, bandwidth-balancing, analytical tractability, state-space explosion problem, mean segment delay, simulation, performance evaluation, performance, protocols, fairness, Markov processes, analytical model, metropolitan area networks, Markov chain model
18	Karl R. Abrahamson, John A. Ellis, Michael R. Fellows, Manuel E. Mata	On the Complexity of Fixed Parameter Problems (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	fixed parameter problems, polynomially indexed relations, complexity, completeness, polynomial time, fixed-parameter tractability
16	Huichao Yan, Jia Chen	Tractability of Approximation of Functions Defined over Weighted Hilbert Spaces.	Axioms	2024	DBLP DOI BibTeX RDF
16	Jakob Stenseke	On the computational complexity of ethics: moral tractability for minds and machines.	Artif. Intell. Rev.	2024	DBLP DOI BibTeX RDF
16	Raul Fernandez-Fernandez, Juan G. Victores, David Estevez, Carlos Balaguer	Real Evaluations Tractability using Continuous Goal-Directed Actions in Smart City Applications.	CoRR	2024	DBLP DOI BibTeX RDF
16	Peter Kritzer	Selected aspects of tractability analysis.	CoRR	2024	DBLP DOI BibTeX RDF
16	Peter Mathé, Bernd Hofmann 0001	Tractability of linear ill-posed problems in Hilbert space.	CoRR	2024	DBLP DOI BibTeX RDF
16	Cornelius Brand, Robert Ganian, Fionn Mc Inerney, Simon Wietheger	The Boundaries of Tractability in Hierarchical Task Network Planning.	CoRR	2024	DBLP DOI BibTeX RDF
16	Kyle Burke, Matthew Ferland, Svenja Huntemann, Shang-Hua Teng	A Tractability Gap Beyond Nim-Sums: It's Hard to Tell Whether a Bunch of Superstars Are Losers.	CoRR	2024	DBLP DOI BibTeX RDF
16	Jiaxin Geng, Heping Wang	On the power of standard information for tractability for L∞ approximation of periodic functions in the worst case setting.	J. Complex.	2024	DBLP DOI BibTeX RDF
16	Claire Hanen, Alix Munier Kordon	Fixed-parameter tractability of scheduling dependent typed tasks subject to release times and deadlines.	J. Sched.	2024	DBLP DOI BibTeX RDF
16	Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo	Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings.	Theory Pract. Log. Program.	2024	DBLP DOI BibTeX RDF
16	Alessandro Aloisio	Fixed-Parameter Tractability for Branchwidth of the Maximum-Weight Edge-Colored Subgraph Problem.	AINA (6)	2024	DBLP DOI BibTeX RDF
16	Marcelo Arenas, Pablo Barceló, Leopoldo E. Bertossi, Mikaël Monet	On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results.	J. Mach. Learn. Res.	2023	DBLP BibTeX RDF
16	Yongjie Yang 0001, Jian-xin Wang 0001	Parameterized complexity of multiwinner determination: more effort towards fixed-parameter tractability.	Auton. Agents Multi Agent Syst.	2023	DBLP DOI BibTeX RDF
16	Muntaha Aslam, Sohail Jabbar, Qaisar Abbas, Mubarak Albathan, Ayyaz Hussain, Umar Raza	Leveraging Ethereum Platform for Development of Efficient Tractability System in Pharmaceutical Supply Chain.	Syst.	2023	DBLP DOI BibTeX RDF
16	Martin C. Cooper, João Marques-Silva 0001	Tractability of explaining classifier decisions.	Artif. Intell.	2023	DBLP DOI BibTeX RDF
16	Sushmita Gupta, Pallavi Jain 0001, Saket Saurabh 0001, Nimrod Talmon	Even More Effort Towards Improved Bounds and Fixed-Parameter Tractability for Multiwinner Rules.	Algorithmica	2023	DBLP DOI BibTeX RDF
16	Riccardo Dondi, Manuel Lafond	On the Tractability of Covering a Graph with 2-Clubs.	Algorithmica	2023	DBLP DOI BibTeX RDF
16	Matthias Lanzinger	Tractability beyond β-acyclicity for conjunctive queries with negation and SAT.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
16	Arijit Bishnu, Arijit Ghosh, Sudeshna Kolay, Gopinath Mishra, Saket Saurabh 0001	Small Vertex Cover Helps in Fixed-Parameter Tractability of Graph Deletion Problems over Data Streams.	Theory Comput. Syst.	2023	DBLP DOI BibTeX RDF
16	Quoc-Tung Le, Elisa Riccietti, Rémi Gribonval	Spurious Valleys, NP-Hardness, and Tractability of Sparse Matrix Factorization with Fixed Support.	SIAM J. Matrix Anal. Appl.	2023	DBLP DOI BibTeX RDF
16	David Krieg	Tractability of sampling recovery on unweighted function classes.	CoRR	2023	DBLP DOI BibTeX RDF
16	Jiaxin Geng, Heping Wang	On the power of standard information for tractability for L∞ approximation of periodic functions in the worst case setting.	CoRR	2023	DBLP DOI BibTeX RDF
16	Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo	Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings.	CoRR	2023	DBLP DOI BibTeX RDF
16	Tatsuya Hiraoka, Tomoya Iwakura	Tokenization Tractability for Human and Machine Learning Model: An Annotation Study.	CoRR	2023	DBLP DOI BibTeX RDF
16	Ioannis Avramopoulos	On the tractability of Nash equilibrium.	CoRR	2023	DBLP DOI BibTeX RDF
16	Ming Shi, Yingbin Liang, Ness B. Shroff	Theoretical Hardness and Tractability of POMDPs in RL with Partial Hindsight State Information.	CoRR	2023	DBLP DOI BibTeX RDF
16	Jakob Stenseke	On the Computational Complexity of Ethics: Moral Tractability for Minds and Machines.	CoRR	2023	DBLP DOI BibTeX RDF
16	Hubie Chen, Gianluigi Greco, Stefan Mengel, Francesco Scarcello	Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability.	CoRR	2023	DBLP DOI BibTeX RDF
16	Johannes Klaus Fichte, Robert Ganian, Markus Hecher, Friedrich Slivovsky, Sebastian Ordyniak	Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF.	CoRR	2023	DBLP DOI BibTeX RDF
16	Ioannis Anagnostides, Tuomas Sandholm	On the Interplay between Social Welfare and Tractability of Equilibria.	CoRR	2023	DBLP DOI BibTeX RDF
16	Sangam Balchandar Reddy, Anjeneya Swami Kare	On the Tractability of Defensive Alliance Problem.	CoRR	2023	DBLP DOI BibTeX RDF
16	Onyekachi Emenike, Fred J. Hickernell, Peter Kritzer	A unified treatment of tractability for approximation problems defined on Hilbert spaces.	CoRR	2023	DBLP DOI BibTeX RDF
16	Jacob Focke, Leslie Ann Goldberg, Marc Roth, Stanislav Zivný	Counting Answers to Unions of Conjunctive Queries: Natural Tractability Criteria and Meta-Complexity.	CoRR	2023	DBLP DOI BibTeX RDF
16	Antonio Blanca, Reza Gheissari	On the tractability of sampling from the Potts model at low temperatures via Swendsen-Wang dynamics.	CoRR	2023	DBLP DOI BibTeX RDF
16	Huichao Yan, Jia Chen	Worst case tractability of L2-approximation for weighted Korobov spaces.	CoRR	2023	DBLP DOI BibTeX RDF
16	Leszek Plaskota, Pawel Siedlecki	Worst case tractability of linear problems in the presence of noise: linear information.	CoRR	2023	DBLP DOI BibTeX RDF
16	Hrushikesh N. Mhaskar, Tong Mao	Tractability of approximation by general shallow networks.	CoRR	2023	DBLP DOI BibTeX RDF
16	Takashi Goda	Strong tractability for multivariate integration in a subspace of the Wiener algebra.	CoRR	2023	DBLP DOI BibTeX RDF
16	Gunther Leobacher, Friedrich Pillichshammer, Adrian Ebert	Tractability of L2-approximation and integration in weighted Hermite spaces of finite smoothness.	J. Complex.	2023	DBLP DOI BibTeX RDF
16	Leszek Plaskota, Pawel Siedlecki	Worst case tractability of linear problems in the presence of noise: Linear information.	J. Complex.	2023	DBLP DOI BibTeX RDF
16	Guiqiao Xu	Average case tractability of non-homogeneous tensor product problems with the absolute error criterion.	J. Complex.	2023	DBLP DOI BibTeX RDF
16	Leopoldo E. Bertossi, Mostafa Milani	Extending sticky-Datalog± via finite-position selection functions: Tractability, algorithms, and optimization.	Inf. Syst.	2023	DBLP DOI BibTeX RDF
16	Xiangyan Kong, Zhen Zhang 0025	Fixed-parameter tractability of capacitated k-facility location.	Frontiers Comput. Sci.	2023	DBLP DOI BibTeX RDF
16	David Krieg, Pawel Siedlecki, Mario Ullrich, Henryk Wozniakowski	Exponential tractability of L2-approximation with function values.	Adv. Comput. Math.	2023	DBLP DOI BibTeX RDF
16	Meike Hatzel, Lars Jaffke, Paloma T. Lima, Tomás Masarík, Marcin Pilipczuk, Roohani Sharma, Manuel Sorge	Fixed-parameter tractability of DIRECTED MULTICUT with three terminal pairs parameterized by the size of the cutset: twin-width meets flow-augmentation.	SODA	2023	DBLP DOI BibTeX RDF
16	Fedor V. Fomin, Petr A. Golovach, Tuukka Korhonen, Kirill Simonov, Giannos Stamoulis	Fixed-Parameter Tractability of Maximum Colored Path and Beyond.	SODA	2023	DBLP DOI BibTeX RDF
16	Donald J. Docimo	Online Temperature and Irradiation Estimation for Large-Scale Solar Farms with Consideration of Computational Tractability.	CCTA	2023	DBLP DOI BibTeX RDF
16	Ireneusz Szczesniak, Bozena Wozna-Szczesniak	Generic Dijkstra: correctness and tractability.	NOMS	2023	DBLP DOI BibTeX RDF
16	Johannes Klaus Fichte, Robert Ganian, Markus Hecher, Friedrich Slivovsky, Sebastian Ordyniak	Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF.	LICS	2023	DBLP DOI BibTeX RDF
16	Olivier De Jonckère, Juan A. Fraire, Scott Burleigh	On the Tractability of Yen's Algorithm and Contact Graph Modeling in Contact Graph Routing.	WiSEE	2023	DBLP DOI BibTeX RDF
16	Kunal Agrawal, Sanjoy K. Baruah, Pontus Ekberg	Rethinking Tractability for Schedulability Analysis.	RTSS	2023	DBLP DOI BibTeX RDF
16	Tomohiro Koana	Induced Matching Below Guarantees: Average Paves the Way for Fixed-Parameter Tractability.	STACS	2023	DBLP DOI BibTeX RDF
16	Jack Kearney, Frank Neumann 0001, Andrew M. Sutton	Fixed-Parameter Tractability of the (1 + 1) Evolutionary Algorithm on Random Planted Vertex Covers.	FOGA	2023	DBLP DOI BibTeX RDF
16	Ioannis Anagnostides, Tuomas Sandholm	On the Interplay between Social Welfare and Tractability of Equilibria.	NeurIPS	2023	DBLP BibTeX RDF
16	Cornelius Brand, Robert Ganian, Mathis Rocton	New Complexity-Theoretic Frontiers of Tractability for Neural Network Training.	NeurIPS	2023	DBLP BibTeX RDF
16	Ghafour Ahani, Di Yuan 0001, Sumei Sun	Optimal Scheduling of Age-Centric Caching: Tractability and Computation.	IEEE Trans. Mob. Comput.	2022	DBLP DOI BibTeX RDF
16	Arnaud Durand 0001, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen	Tractability Frontier of Data Complexity in Team Semantics.	ACM Trans. Comput. Log.	2022	DBLP DOI BibTeX RDF
16	Wubing Zhang, Shourya S. Roy Burman, Jiaye Chen, Katherine A. Donovan, Yang Cao, Chelsea Shu, Boning Zhang, Zexian Zeng, Shengqing Gu, Yi Zhang 0055, Dian Li, Eric S. Fischer, Collin Tokheim, X. Shirley Liu	Machine Learning Modeling of Protein-intrinsic Features Predicts Tractability of Targeted Protein Degradation.	Genom. Proteom. Bioinform.	2022	DBLP DOI BibTeX RDF
16	Jie Zhang 0080, Yongping Liu	EC-tractability of multivariate approximation in Hermite spaces for the standard information class.	Int. J. Wavelets Multiresolution Inf. Process.	2022	DBLP DOI BibTeX RDF
16	Vahan Mkrtchyan, Garik Petrosyan	On the fixed-parameter tractability of the partial vertex cover problem with a matching constraint in edge-weighted bipartite graphs.	J. Graph Algorithms Appl.	2022	DBLP DOI BibTeX RDF
16	Julien Baste, Michael R. Fellows, Lars Jaffke, Tomás Masarík, Mateus de Oliveira Oliveira, Geevarghese Philip, Frances A. Rosamond	Diversity of solutions: An exploration through the lens of fixed-parameter tractability theory.	Artif. Intell.	2022	DBLP DOI BibTeX RDF
16	Guy Van den Broeck, Anton Lykov, Maximilian Schleich, Dan Suciu	On the Tractability of SHAP Explanations.	J. Artif. Intell. Res.	2022	DBLP DOI BibTeX RDF
16	Gunther Leobacher, Friedrich Pillichshammer, Adrian Ebert	Tractability of L2-approximation and integration in weighted Hermite spaces of finite smoothness.	CoRR	2022	DBLP DOI BibTeX RDF
16	Petr Hlinený, Filip Pokrývka	Twin-width and Limits of Tractability of FO Model Checking on Geometric Graphs.	CoRR	2022	DBLP DOI BibTeX RDF
16	David Krieg, Pawel Siedlecki, Mario Ullrich, Henryk Wozniakowski	Exponential tractability of L2-approximation with function values.	CoRR	2022	DBLP DOI BibTeX RDF
16	Fedor V. Fomin, Petr A. Golovach, Tuukka Korhonen, Kirill Simonov, Giannos Stamoulis	Fixed-Parameter Tractability of Maximum Colored Path and Beyond.	CoRR	2022	DBLP DOI BibTeX RDF
16	Felix Stahlberg, Ilia Kulikov, Shankar Kumar	Uncertainty Determines the Adequacy of the Mode and the Tractability of Decoding in Sequence-to-Sequence Models.	CoRR	2022	DBLP DOI BibTeX RDF
16	Tomohiro Koana	Induced Matching below Guarantees: Average Paves the Way for Fixed-Parameter Tractability.	CoRR	2022	DBLP DOI BibTeX RDF
16	Meike Hatzel, Lars Jaffke, Paloma T. Lima, Tomás Masarík, Marcin Pilipczuk, Roohani Sharma, Manuel Sorge	Fixed-parameter tractability of Directed Multicut with three terminal pairs parameterized by the size of the cutset: twin-width meets flow-augmentation.	CoRR	2022	DBLP DOI BibTeX RDF
16	Florian Galliot, Sylvain Gravier, Isabelle Sivignon	Structural tools for the Maker-Breaker game. Application to hypergraphs of rank 3: strategies and tractability.	CoRR	2022	DBLP DOI BibTeX RDF
16	Takashi Goda	Polynomial tractability for integration in an unweighted function space with absolutely convergent Fourier series.	CoRR	2022	DBLP DOI BibTeX RDF
16	Adrian Ebert, Peter Kritzer, Friedrich Pillichshammer	Tractability of approximation in the weighted Korobov space in the worst-case setting.	CoRR	2022	DBLP BibTeX RDF
16	Ireneusz Szczesniak, Bozena Wozna-Szczesniak	Generic Dijkstra: correctness and tractability.	CoRR	2022	DBLP DOI BibTeX RDF
16	Daniel Lokshtanov, Marcin Pilipczuk, Michal Pilipczuk, Saket Saurabh 0001	Fixed-parameter tractability of Graph Isomorphism in graphs with an excluded minor.	CoRR	2022	DBLP DOI BibTeX RDF