„bounded occurrence“

Suchergebnisse

5 Treffer

• Exact Algorithms and Hardness Result for the Boolean Connectivity Problem of k-Horn Formulas
  Horiyama, Takashi ; Okura, Yuto ; Seto, Kazuhisa ; Teruyama, Junichi 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Small Unsatisfiable k-CNFs with Bounded Literal Occurrence
  Zhang, Tianwei ; Peitl, Tomáš ; Szeider, Stefan 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation
  Nakamura, Yoshiki 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Approximation Algorithms for the Longest Run Subsequence Problem
  Asahiro, Yuichi ; Eto, Hiroshi ; Gong, Mingyang ; Jansson, Jesper ; Lin, Guohui ; Miyano, Eiji ; Ono, Hirotaka ; Tanaka, Shunichi 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Local Search is Better than Random Assignment for Bounded Occurrence Ordering k-CSPs
  Makarychev, Konstantin 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik