„Complex problems“

Suchergebnisse

2.217 Treffer

• Static Analysis for Logic-based Dynamic Programs
  Schwentick, Thomas ; Vortmeier, Nils ; Zeume, Thomas 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tight Bounds for Graph Problems in Insertion Streams
  Sun, Xiaoming ; Woodruff, David P. 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems
  Lutz, Carsten ; Wolter, Frank 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Advice Complexity for a Class of Online Problems
  Boyar, Joan ; Favrholdt, Lene M. ; Kudahl, Christian ; Mikkelsen, Jesper W. 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Complexity of Constraint Satisfaction Problems (Invited Talk)
  Bodirsky, Manuel 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Read-Once Branching Programs for Tree Evaluation Problems
  Iwama, Kazuo ; Nagao, Atsuki 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Exploring Subexponential Parameterized Complexity of Completion Problems
  Drange, Pal Gronas ; Fomin, Fedor V. ; Pilipczuk, Michal ; Villanger, Yngve 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Structure and Complexity of Rational Sets of Regular Languages
  Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Descriptive complexity of approximate counting CSPs
  Bulatov, Andrei ; Dalmau, Victor ; Thurley, Marc 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Solving the Canonical Representation and Star System Problems for Proper Circular-Arc Graphs in Logspace
  Köbler, Johannes ; Kuhnert, Sebastian ; Verbitsky, Oleg 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Equivalence Constraint Satisfaction Problems
  Bodirsky, Manuel ; Wrona, Michal 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Randomized Communication Complexity for Linear Algebra Problems over Finite Fields
  Sun, Xiaoming ; Wang, Chengu 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parameterized Regular Expressions and Their Languages
  Barceló, Pablo ; Libkin, Leonid ; Reutter, Juan L. 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The update complexity of selection and related problems
  Gupta, Manoj ; Sabharwal, Yogish ; Sen, Sandeep 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Isomorphism testing of read-once functions and polynomials
  Rao B .V., Raghavendra ; Sarma M. N., Jayalal 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Constraint Satisfaction Problems below P*
  Egri, László 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Enumeration Complexity of Logical Query Problems with Second-order Variables
  Durand, Arnaud ; Strozecki, Yann 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the computational complexity of Ham-Sandwich cuts, Helly sets, and related problems
  Knauer, Christian ; Tiwary, Hans Raj ; Werner, Daniel 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The #CSP Dichotomy is Decidable
  Dyer, Martin ; Richerby, David 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Complexity of Weighted Boolean #CSP Modulo k
  Guo, Heng ; Huang, Sangxia ; Lu, Pinyan ; Xia, Mingji 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik