Works matching IS 14324350 AND DT 2020 AND VI 64 AND IP 5

Results: 11

Correction to: Connecting Knowledge Compilation Classes and Width Parameters.

Published in:

2020

By:

Amarilli, Antoine;
Capelli, Florent;
Monet, Mikaël;
Senellart, Pierre

Publication type:

Correction Notice

Special Issue on the 2018 International Conference on Database Theory.

Published in:

2020

By:

Kimelfeld, Benny

Publication type:

Editorial

On Limitations of Structured (Deterministic) DNNFs.

Published in:

Theory of Computing Systems, 2020, v. 64, n. 5, p. 799, doi. 10.1007/s00224-019-09960-w

By:

Bollig, Beate;
Buttkus, Matthias

Publication type:

Article

Distribution Policies for Datalog.

Published in:

Theory of Computing Systems, 2020, v. 64, n. 5, p. 965, doi. 10.1007/s00224-019-09959-3

By:

Ketsman, Bas;
Albarghouthi, Aws;
Koutris, Paraschos

Publication type:

Article

Scheduling MapReduce Jobs on Identical and Unrelated Processors.

Published in:

Theory of Computing Systems, 2020, v. 64, n. 5, p. 754, doi. 10.1007/s00224-019-09956-6

By:

Fotakis, Dimitris;
Milis, Ioannis;
Papadigenopoulos, Orestis;
Vassalos, Vasilis;
Zois, Georgios

Publication type:

Article

On Normality in Shifts of Finite Type.

Published in:

Theory of Computing Systems, 2020, v. 64, n. 5, p. 783, doi. 10.1007/s00224-019-09953-9

By:

Álvarez, Nicolás;
Carton, Olivier

Publication type:

Article

Extension Complexity of Formal Languages.

Published in:

Theory of Computing Systems, 2020, v. 64, n. 5, p. 735, doi. 10.1007/s00224-019-09951-x

By:

Tiwary, Hans Raj

Publication type:

Article

Enumeration Complexity of Conjunctive Queries with Functional Dependencies.

Published in:

Theory of Computing Systems, 2020, v. 64, n. 5, p. 828, doi. 10.1007/s00224-019-09937-9

By:

Carmeli, Nofar;
Kröll, Markus

Publication type:

Article

On the Stab Number of Rectangle Intersection Graphs.

Published in:

Theory of Computing Systems, 2020, v. 64, n. 5, p. 681, doi. 10.1007/s00224-019-09936-w

By:

Chakraborty, Dibyayan;
Francis, Mathew C.

Publication type:

Article

Connecting Knowledge Compilation Classes Width Parameters.

Published in:

Theory of Computing Systems, 2020, v. 64, n. 5, p. 861, doi. 10.1007/s00224-019-09930-2

By:

Amarilli, Antoine;
Capelli, Florent;
Monet, Mikaël;
Senellart, Pierre

Publication type:

Article

A More General Theory of Static Approximations for Conjunctive Queries.

Published in:

Theory of Computing Systems, 2020, v. 64, n. 5, p. 916, doi. 10.1007/s00224-019-09924-0

By:

Barceló, Pablo;
Romero, Miguel;
Zeume, Thomas

Publication type:

Article