The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "IWPEC"( http://dblp.L3S.de/Venues/IWPEC )

URL (DBLP): http://dblp.uni-trier.de/db/conf/iwpec

Publication years (Num. hits)
2004 (27) 2006 (27) 2008 (21) 2009 (28)
Publication types (Num. hits)
inproceedings(99) proceedings(4)
Venues (Conferences, Journals, ...)
IWPEC(103)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 27 occurrences of 24 keywords

Results
Found 103 publication records. Showing 103 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Karol Suchan, Yngve Villanger Computing Pathwidth Faster Than 2n. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Daniel Lokshtanov, Saket Saurabh 0001 Even Faster Algorithm for Set Splitting! Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hans L. Bodlaender, Daniel Lokshtanov, Eelko Penninkx Planar Capacitated Dominating Set Is W[1]-Hard. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rosa Enciso, Michael R. Fellows, Jiong Guo, Iyad A. Kanj, Frances A. Rosamond, Ondrej Suchý What Makes Equitable Connected Partition Easy. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michael R. Fellows, Danny Hermelin, Frances A. Rosamond Well-Quasi-Orders in Subclasses of Bounded Treewidth Graphs. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Peter Damaschke Bounded-Degree Techniques Accelerate Some Parameterized Graph Algorithms. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mikko Koivisto Partitioning into Sets of Bounded Cardinality. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sebastian Böcker, Falk Hüffner, Anke Truß, Magnus Wahlström A Faster Fixed-Parameter Approach to Drawing Binary Tanglegrams. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Noga Alon, Shai Gutner Balanced Hashing, Color Coding and Approximate Counting. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Approximate counting of subgraphs, derandomization, expanders, perfect hashing, color-coding, k-wise independence
1Gregory Z. Gutin, Daniel Karapetyan, Igor Razgon Fixed-Parameter Algorithms in Analysis of Heuristics for Extracting Networks in Linear Programs. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Peter Damaschke Pareto Complexity of Two-Parameter FPT Problems: A Case Study for Partial Vertex Cover. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Petr A. Golovach, Dimitrios M. Thilikos Paths of Bounded Length and Their Cuts: Parameterized Complexity and Algorithms. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bounded length disjoint paths, Bounded length cuts, Parameterized Complexity, Parameterized Algorithms
1Dániel Marx, Ildikó Schlotter Stable Assignment with Couples: Parameterized Complexity and Local Search. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jianer Chen, Fedor V. Fomin (eds.) Parameterized and Exact Computation, 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rok Erman, Lukasz Kowalik, Matjaz Krnc, Tomasz Walen Improved Induced Matchings in Sparse Graphs. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stefan Kratsch, Magnus Wahlström Two Edge Modification Problems without Polynomial Kernels. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chris Calabro, Russell Impagliazzo, Ramamohan Paturi The Complexity of Satisfiability of Small Depth Circuits. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Daniel Lokshtanov, Venkatesh Raman 0001, Saket Saurabh 0001, Somnath Sikdar On the Directed Degree-Preserving Spanning Tree Problem. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Binh-Minh Bui-Xuan, Jan Arne Telle, Martin Vatshelle Boolean-Width of Graphs. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Daniel Raible 0001, Peter Rossmanith An Exact Algorithm for the Maximum Leaf Spanning Tree Problem. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Panos Giannopoulos, Christian Knauer, Günter Rote The Parameterized Complexity of Some Geometric Problems in Unbounded Dimension. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF geometric dimension, minimum enclosing cylinder, maximum feasible subsystem, 2-linear separability, lower bounds, parameterized complexity
1Robert Ganian, Petr Hlinený, Joachim Kneis, Alexander Langer, Jan Obdrzálek, Peter Rossmanith On Digraph Width Measures in Parameterized Algorithmics. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hans L. Bodlaender Kernelization: New Upper and Lower Bound Techniques. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF algorithms, kernel, kernelization, preprocessing, data reduction, fixed parameter tractability, combinatorial problems
1Jean Daligault, Stéphan Thomassé On Finding Directed Trees with Many Leaves. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Fürer, Serge Gaspers, Shiva Prasad Kasiviswanathan An Exponential Time 2-Approximation Algorithm for Bandwidth. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gregory Z. Gutin, Eun Jung Kim 0002, Stefan Szeider, Anders Yeo A Probabilistic Approach to Problems Parameterized above or below Tight Bounds. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Shai Gutner Polynomial Kernels and Faster Algorithms for the Dominating Set Problem on Graphs with an Excluded Minor. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF H-minor-free graphs, degenerated graphs, dominating set problem, fixed-parameter tractable algorithms, problem kernel
1Narges Simjour Improved Parameterized Algorithms for the Kemeny Aggregation Problem. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Kemeny score, parameterized, enumeration, exact algorithms
1Moritz Müller Parameterized Derandomization. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Khaled M. Elbassioni, Matthias Hagen, Imran Rauf Some Fixed-Parameter Tractable Classes of Hypergraph Duality and Related Problems. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Nicolas Bourgeois, Bruno Escoffier, Vangelis Th. Paschos An O*(1.0977n) Exact Algorithm for max independent set in Sparse Graphs. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yonatan Aumann, Yair Dombb Fixed Structure Complexity. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Daniel Lokshtanov Wheel-Free Deletion Is W[2]-Hard. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael Dom, Daniel Lokshtanov, Saket Saurabh 0001, Yngve Villanger Capacitated Domination and Covering: A Parameterized Perspective. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sylvain Guillemot FPT Algorithms for Path-Transversals and Cycle-Transversals Problems in Graphs. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sylvain Guillemot Parameterized Complexity and Approximability of the SLCS Problem. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer Algorithmic Meta-theorems. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Johan M. M. van Rooij, Hans L. Bodlaender Exact Algorithms for Edge Domination. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF minimum maximal matching, exponential time algorithms, measure and conquer, exact algorithms, edge dominating set
1Erik D. Demaine Algorithmic Graph Minors and Bidimensionality. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Omid Amini, Ignasi Sau, Saket Saurabh 0001 Parameterized Complexity of the Smallest Degree-Constrained Subgraph Problem. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Allan Scott, Ulrike Stege Parameterized Chess. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sebastian Böcker, Quang Bao Anh Bui, Anke Truß An Improved Fixed-Parameter Algorithm for Minimum-Flip Consensus Trees. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jianer Chen Randomized Disposal of Unknowns and Implicitly Enforced Bounds on Parameters. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael R. Fellows, Danny Hermelin, Moritz Müller, Frances A. Rosamond A Purely Democratic Characterization of W[1]. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Maw-Shang Chang, Chuang-Chieh Lin, Peter Rossmanith New Fixed-Parameter Algorithms for the Minimum Quartet Inconsistency Problem. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Grohe, Rolf Niedermeier (eds.) Parameterized and Exact Computation, Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Magnus Wahlström A Tighter Bound for Counting Max-Weight Solutions to 2SAT Instances. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hans L. Bodlaender, Eelko Penninkx A Linear Kernel for Planar Feedback Vertex Set. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Patrick Traxler The Time Complexity of Constraint Satisfaction. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Fábio Protti, Maise Dantas da Silva, Jayme Luiz Szwarcfiter Applying Modular Decomposition to Parameterized Bicluster Editing. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF edge modification problems, bicluster graphs, NP-complete problems, fixed-parameter tractability, cluster graphs
1Yang Liu 0002, Songjian Lu, Jianer Chen, Sing-Hoi Sze Greedy Localization and Color-Coding: Improved Matching and Packing Algorithms. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yijia Chen, Jörg Flum The Parameterized Complexity of Maximality and Minimality Problems. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sergio Cabello, Panos Giannopoulos, Christian Knauer On the Parameterized Complexity of d-Dimensional Point Set Pattern Matching. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Michael R. Fellows The Lost Continent of Polynomial Time: Preprocessing and Kernelization. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Liming Cai, Xiuzhen Huang Fixed-Parameter Approximation: Conceptual Framework and Approximability Results. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Matthew Hamilton, Rhonda Chaytor, Todd Wareham The Parameterized Complexity of Enumerating Frequent Itemsets. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Dieter Kratsch, Mathieu Liedloff An Exact Algorithm for the Minimum Dominating Clique Problem. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Faisal N. Abu-Khzam, Henning Fernau Kernels: Annotated, Proper and Induced. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gregory Z. Gutin, Stefan Szeider, Anders Yeo Fixed-Parameter Complexity of Minimum Profile Problems. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Fedor V. Fomin, Serge Gaspers, Artem V. Pyatkin Finding a Minimum Feedback Vertex Set in Time O (1.7548n). Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF maximum induced forest, exact exponential algorithm, minimum feedback vertex set
1Henning Fernau edge dominating set: Efficient Enumeration-Based Exact Algorithms. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Frank K. H. A. Dehne FPT at Work: Using Fixed Parameter Tractability to Solve Larger Instances of Hard Problems. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Klaus Meer, Dieter Rautenbach On the OBDD Size for Graphs of Bounded Tree- and Clique-Width. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Leizhen Cai, Siu Man Chan, Siu On Chan Random Separation: A New Method for Solving Fixed-Cardinality Optimization Problems. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jan Kára, Jan Kratochvíl Fixed Parameter Tractability of Independent Set in Segment Intersection Graphs. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Christian Sloper, Jan Arne Telle Towards a Taxonomy of Techniques for Designing Parameterized Algorithms. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Rodney G. Downey, Michael R. Fellows, Catherine McCartin Parameterized Approximation Problems. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Frank K. H. A. Dehne, Michael A. Langston, Xuemei Luo, Sylvain Pitre, Peter Shaw 0001, Yun Zhang 0013 The Cluster Editing Problem: Implementations and Experiments. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Moritz Müller Randomized Approximations of Parameterized Counting Problems. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Kevin Burrage, Vladimir Estivill-Castro, Michael R. Fellows, Michael A. Langston, Shev Mac, Frances A. Rosamond The Undirected Feedback Vertex Set Problem Has a Poly(k) Kernel. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hans L. Bodlaender, Michael A. Langston (eds.) Parameterized and Exact Computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Meena Mahajan, Venkatesh Raman 0001, Somnath Sikdar Parameterizing MAX SNP Problems Above Guaranteed Values. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jiong Guo, Rolf Niedermeier, Sebastian Wernicke 0001 Fixed-Parameter Tractability Results for Full-Degree Spanning Tree and Its Dual. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yijia Chen, Martin Grohe, Magdalena Grüber On Parameterized Approximability. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Dániel Marx Parameterized Complexity of Independence and Domination on Geometric Graphs. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jianer Chen, Iyad A. Kanj, Jie Meng, Ge Xia, Fenghui Zhang On the Effective Enumerability of NP Problems. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Elena Prieto-Rodriguez, Christian Sloper Looking at the Stars. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Michael Hoffmann 0001, Yoshio Okamoto The Minimum Weight Triangulation Problem with Few Inner Points. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Rodney G. Downey, Michael R. Fellows, Frank K. H. A. Dehne (eds.) Parameterized and Exact Computation, First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, Proceedings Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1L. Sunil Chandran, Fabrizio Grandoni 0001 Refined Memorisation for Vertex Cover. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Naomi Nishimura, Prabhakar Ragde, Dimitrios M. Thilikos Smaller Kernels for Hitting Set Problems of Constant Arity. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Frank K. H. A. Dehne, Michael R. Fellows, Frances A. Rosamond, Peter Shaw 0001 Greedy Localization, Iterative Compression, Modeled Crown Reductions: New FPT Techniques, an Improved Algorithm for Set Splitting, and a Novel 2k Kernelization for Vertex Cover. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Dániel Marx Parameterized Coloring Problems on Chordal Graphs. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Robert Haas 0001, Michael Hoffmann 0001 Chordless Paths Through Three Vertices. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Luke Mathieson, Elena Prieto-Rodriguez, Peter Shaw 0001 Packing Edge Disjoint Triangles: A Parameterized View. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Michael A. Langston Practical FPT Implementations and Applications (Invited Talk). Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jiong Guo, Falk Hüffner, Rolf Niedermeier A Structural View on Parameterizing Problems: Distance from Triviality. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Mark Weyer Bounded Fixed-Parameter Tractability: The Case 2poly(k). Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Iyad A. Kanj, Michael J. Pelsmajer, Marcus Schaefer 0001 Parameterized Algorithms for Feedback Vertex Set. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sergey S. Fedin, Alexander S. Kulikov Automated Proofs of Upper Bounds on the Running Time of Splitting Algorithms. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Venkatesh Raman 0001, Saket Saurabh 0001 Improved Parameterized Algorithms for Feedback Set Problems in Weighted Tournaments. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gerhard J. Woeginger Space and Time Complexity of Exact Algorithms: Some Open Problems (Invited Talk). Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Faisal N. Abu-Khzam, Michael A. Langston A Direct Algorithm for the Parameterized Face Cover Problem. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jens Gramm, Till Nierhoff, Till Tantau Perfect Path Phylogeny Haplotyping with Missing Data Is Fixed-Parameter Tractable. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Yijia Chen, Jörg Flum On Miniaturized Problems in Parameterized Complexity Theory. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Michael R. Fellows, Stefan Szeider, Graham Wrightson On Finding Short Resolution Refutations and Small Unsatisfiable Subsets. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Hans L. Bodlaender, Dimitrios M. Thilikos Computing Small Search Numbers in Linear Time. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Dániel Marx Parameterized Graph Separation Problems. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Rodney G. Downey, Catherine McCartin Online Problems, Pathwidth, and Persistence. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Petr Hlinený, Detlef Seese On Decidability of MSO Theories of Representable Matroids. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF MSO theory, decidability, matroid, branch-width
Displaying result #1 - #100 of 103 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license