Sökresultat - "parameterised complexity"

The Complexity of Finding and Enumerating Optimal Subgraphs to Represent Spatial Correlation

Enright, Jessica, Lee, Duncan, Meeks, Kitty, Pettersson, William^{Aff1, IDs0045302401256x_cor4}, Sylvester, John^{Aff1, Aff3}

Parameterised and Fine-Grained Subgraph Counting, Modulo 2

Goldberg, Leslie Ann, Roth, Marc^{Aff1, IDs00453023011780_cor2}

Knapsack: Connectedness, Path, and Shortest-Path

Dey, Palash^Aff9, Kolay, Sudeshna^Aff9, Singh, Sipra^Aff9

Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Soto, José A., editor^Aff7, Wiese, Andreas, editor^Aff8

New Frontiers in Parameterized Complexity and Algorithms

Rosamond, Frances, Misra, Neeldhara, Zehavi, Meirav

application/octet-stream

Strong Backdoors for Default Logic

Fichte, Johannes Klaus, Meier, Arne, Schindler, Irena

A new temporal interpretation of cluster editing

Bocci, Cristiano ^a, Capresi, Chiara ^a, Meeks, Kitty ^b, Sylvester, John ^{b, c, ⁎}

Generating Random Instances of Weighted Model Counting : An Empirical Analysis with Varying Primal Treewidth

Dilkas, Paulius^Aff8

Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Cire, Andre A., editor^Aff7

A New Temporal Interpretation of Cluster Editing

Bocci, Cristiano^Aff9, Capresi, Chiara^Aff9, Meeks, Kitty^Aff10, Sylvester, John^Aff10

Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Bazgan, Cristina, editor^Aff7, Fernau, Henning, editor^Aff8

The Complexity of Finding Optimal Subgraphs to Represent Spatial Correlation

Enright, Jessica^Aff12, Lee, Duncan^Aff13, Meeks, Kitty^Aff12, Pettersson, William^Aff12, Sylvester, John^Aff12

Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Du, Ding-Zhu, editor^Aff8, Du, Donglei, editor^Aff9, Wu, Chenchen, editor^Aff10, Xu, Dachuan, editor^Aff11

Parameterised complexity of model checking and satisfiability in propositional dependence logic

Mahmood, Yasir^{Aff1, IDs1047202109730w_cor1}, Meier, Arne

Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic

Mahmood, Yasir^Aff10, Meier, Arne^Aff10

Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Herzig, Andreas, editor^Aff8, Kontinen, Juha, editor^Aff9

Parameterised Complexity of Abduction in Schaefer’s Framework

Mahmood, Yasir^Aff10, Meier, Arne^Aff10, Schmidt, Johannes^Aff11

Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Artemov, Sergei, editor^Aff8, Nerode, Anil, editor^Aff9

Consensus Strings with Small Maximum Distance and Small Distance Sum

Bulteau, Laurent, Schmid, Markus L.^Aff2

Denna resultat visas inte till gäster.
Logga in för full Login for full tillgång.

A Fixed-Parameter Perspective on #BIS

Curticapean, Radu^Aff1, Dell, Holger^Aff2, Fomin, Fedor^Aff3, Goldberg, Leslie Ann^Aff4, Lapinskas, John^Aff4

A Multi-parameter Complexity Analysis of Cost-optimal and Net-benefit Planning

Aghighi, Meysam, 1988, Bäckström, Christer, 1962

electronic

Finding Consensus Strings with Small Length Difference Between Input and Solution Strings

Schmid, Markus L.^Aff16

Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Italiano, Giuseppe F., editor^Aff13, Pighizzini, Giovanni, editor^Aff14, Sannella, Donald T., editor^Aff15

Algorithms and Complexity for Turaev-Viro Invariants

Burton, Benjamin A.^Aff17, Maria, Clément^Aff17, Spreer, Jonathan^Aff17

Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Halldórsson, Magnús M., editor^Aff13, Iwama, Kazuo, editor^Aff14, Kobayashi, Naoki, editor^Aff15, Speckmann, Bettina, editor^Aff16

On the Parameterised Complexity of String Morphism Problems

Fernau, Henning, Schmid, Markus L., Villanger, Yngve

Parameterised Enumeration for Modification Problems

Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer

electronic resource

Visa; Visa