-
251
Resolution lower bounds for the weak pigeonhole principle.
Veröffentlicht in Journal of the ACMArtikel -
252
Lenses in arrangements of pseudo-circles and their applications.
Veröffentlicht in Journal of the ACMArtikel -
253
-
254
Existential second-order logic over graphs Charting the tractability frontier.
Veröffentlicht in Journal of the ACMArtikel -
255
-
256
-
257
Monotonic reductions, representative equivalence and compilation of intractable problems.
Veröffentlicht in Journal of the ACMArtikel -
258
A Laplace transform algorithm for the volume of a convex polytope.
Veröffentlicht in Journal of the ACMArtikel -
259
Deciding first-order properties of locally tree-decomposable structures.
Veröffentlicht in Journal of the ACMArtikel -
260