שמור ב:
| Main Authors: | Fichte, Johannes K., Hecher, Markus, Hamiti, Florim |
|---|---|
| פורמט: | Preprint |
| יצא לאור: |
2020
|
| נושאים: | |
| גישה מקוונת: | https://arxiv.org/abs/2012.01323 |
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
פריטים דומים
The Model Counting Competitions 2021-2023
מאת: Fichte, Johannes K., et al.
יצא לאור: (2025)
מאת: Fichte, Johannes K., et al.
יצא לאור: (2025)
Epistemic Logic Programs: Non-Ground and Counting Complexity
מאת: Eiter, Thomas, et al.
יצא לאור: (2025)
מאת: Eiter, Thomas, et al.
יצא לאור: (2025)
Asymptotically Smaller Encodings for Graph Problems and Scheduling
מאת: Subercaseaux, Bernardo
יצא לאור: (2025)
מאת: Subercaseaux, Bernardo
יצא לאור: (2025)
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance
מאת: Boreale, Michele, et al.
יצא לאור: (2019)
מאת: Boreale, Michele, et al.
יצא לאור: (2019)
SAT Encoding of Partial Ordering Models for Graph Coloring Problems
מאת: Faber, Daniel, et al.
יצא לאור: (2024)
מאת: Faber, Daniel, et al.
יצא לאור: (2024)
Rejection in Abstract Argumentation: Harder Than Acceptance?
מאת: Fichte, Johannes K., et al.
יצא לאור: (2024)
מאת: Fichte, Johannes K., et al.
יצא לאור: (2024)
Finding hardness reductions automatically using SAT solvers
מאת: Bergold, Helena, et al.
יצא לאור: (2024)
מאת: Bergold, Helena, et al.
יצא לאור: (2024)
Discovering Expert-Level Nash Equilibrium Algorithms with Large Language Models
מאת: Li, Hanyu, et al.
יצא לאור: (2025)
מאת: Li, Hanyu, et al.
יצא לאור: (2025)
Model checking with temporal graphs and their derivative
מאת: Bui-Xuan, Binh-Minh, et al.
יצא לאור: (2026)
מאת: Bui-Xuan, Binh-Minh, et al.
יצא לאור: (2026)
Algorithms and Complexity of Difference Logic
מאת: Dabrowski, Konrad K., et al.
יצא לאור: (2024)
מאת: Dabrowski, Konrad K., et al.
יצא לאור: (2024)
Subgraph Isomorphism: Prolog vs. Conventional
מאת: Yin, Claire Y., et al.
יצא לאור: (2025)
מאת: Yin, Claire Y., et al.
יצא לאור: (2025)
The Sherali-Adams and Weisfeiler-Leman hierarchies in (Promise Valued) Constraint Satisfaction Problems
מאת: Barto, Libor, et al.
יצא לאור: (2024)
מאת: Barto, Libor, et al.
יצא לאור: (2024)
Efficient Coalgebraic Partition Refinement
מאת: Dorsch, Ulrich, et al.
יצא לאור: (2017)
מאת: Dorsch, Ulrich, et al.
יצא לאור: (2017)
Derivation and Verification of Array Sorting by Merging, and its Certification in Dafny
מאת: Carbonell, Juan Pablo, et al.
יצא לאור: (2025)
מאת: Carbonell, Juan Pablo, et al.
יצא לאור: (2025)
MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras
מאת: Kleest-Meißner, Sarah, et al.
יצא לאור: (2022)
מאת: Kleest-Meißner, Sarah, et al.
יצא לאור: (2022)
From Width-Based Model Checking to Width-Based Automated Theorem Proving
מאת: Oliveira, Mateus de Oliveira, et al.
יצא לאור: (2022)
מאת: Oliveira, Mateus de Oliveira, et al.
יצא לאור: (2022)
Foundations for an Abstract Proof Theory in the Context of Horn Rules
מאת: Lyon, Tim S., et al.
יצא לאור: (2023)
מאת: Lyon, Tim S., et al.
יצא לאור: (2023)
Exact Exploration
מאת: Blass, Andreas, et al.
יצא לאור: (2024)
מאת: Blass, Andreas, et al.
יצא לאור: (2024)
Ranked Enumeration for MSO on Trees via Knowledge Compilation
מאת: Amarilli, Antoine, et al.
יצא לאור: (2023)
מאת: Amarilli, Antoine, et al.
יצא לאור: (2023)
Direct Access for Answers to Conjunctive Queries with Aggregation
מאת: Eldar, Idan, et al.
יצא לאור: (2023)
מאת: Eldar, Idan, et al.
יצא לאור: (2023)
Factorised Representations of Join Queries: Tight Bounds and a New Dichotomy
מאת: Berkholz, Christoph, et al.
יצא לאור: (2025)
מאת: Berkholz, Christoph, et al.
יצא לאור: (2025)
Elementary first-order model checking for sparse graphs
מאת: Gajarský, Jakub, et al.
יצא לאור: (2024)
מאת: Gajarský, Jakub, et al.
יצא לאור: (2024)
On merge-models
מאת: Buffière, Hector, et al.
יצא לאור: (2026)
מאת: Buffière, Hector, et al.
יצא לאור: (2026)
CNFs and DNFs with Exactly $k$ Solutions
מאת: Chandran, L. Sunil, et al.
יצא לאור: (2025)
מאת: Chandran, L. Sunil, et al.
יצא לאור: (2025)
Flipper games for monadically stable graph classes
מאת: Gajarský, Jakub, et al.
יצא לאור: (2023)
מאת: Gajarský, Jakub, et al.
יצא לאור: (2023)
First Order Logic on Pathwidth Revisited Again
מאת: Lampis, Michael
יצא לאור: (2022)
מאת: Lampis, Michael
יצא לאור: (2022)
Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems
מאת: Barto, Libor, et al.
יצא לאור: (2026)
מאת: Barto, Libor, et al.
יצא לאור: (2026)
Fine-grained Meta-Theorems for Vertex Integrity
מאת: Lampis, Michael, et al.
יצא לאור: (2021)
מאת: Lampis, Michael, et al.
יצא לאור: (2021)
New Algorithms and Hardness Results for Robust Satisfiability of (Promise) CSPs
מאת: Brakensiek, Joshua, et al.
יצא לאור: (2026)
מאת: Brakensiek, Joshua, et al.
יצא לאור: (2026)
Formal Primal-Dual Algorithm Analysis
מאת: Abdulaziz, Mohammad, et al.
יצא לאור: (2026)
מאת: Abdulaziz, Mohammad, et al.
יצא לאור: (2026)
Color Refinement for Relational Structures
מאת: Scheidt, Benjamin, et al.
יצא לאור: (2024)
מאת: Scheidt, Benjamin, et al.
יצא לאור: (2024)
Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation
מאת: de Colnet, Alexis, et al.
יצא לאור: (2026)
מאת: de Colnet, Alexis, et al.
יצא לאור: (2026)
The Iteration Number of the Weisfeiler-Leman Algorithm
מאת: Grohe, Martin, et al.
יצא לאור: (2023)
מאת: Grohe, Martin, et al.
יצא לאור: (2023)
Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements
מאת: Grohe, Martin, et al.
יצא לאור: (2023)
מאת: Grohe, Martin, et al.
יצא לאור: (2023)
A bargain for mergesorts -- How to prove your mergesort correct and stable, almost for free
מאת: Cohen, Cyril, et al.
יצא לאור: (2024)
מאת: Cohen, Cyril, et al.
יצא לאור: (2024)
Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
מאת: Leutgeb, Lorenz, et al.
יצא לאור: (2022)
מאת: Leutgeb, Lorenz, et al.
יצא לאור: (2022)
On classes of bounded tree rank, their interpretations, and efficient sparsification
מאת: Gajarský, Jakub, et al.
יצא לאור: (2024)
מאת: Gajarský, Jakub, et al.
יצא לאור: (2024)
Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees
מאת: Koh, Zhuan Khye, et al.
יצא לאור: (2021)
מאת: Koh, Zhuan Khye, et al.
יצא לאור: (2021)
Solving Partial Dominating Set and Related Problems Using Twin-Width
מאת: Balabán, Jakub, et al.
יצא לאור: (2025)
מאת: Balabán, Jakub, et al.
יצא לאור: (2025)
SDPs and Robust Satisfiability of Promise CSP
מאת: Brakensiek, Joshua, et al.
יצא לאור: (2022)
מאת: Brakensiek, Joshua, et al.
יצא לאור: (2022)
פריטים דומים
-
The Model Counting Competitions 2021-2023
מאת: Fichte, Johannes K., et al.
יצא לאור: (2025) -
Epistemic Logic Programs: Non-Ground and Counting Complexity
מאת: Eiter, Thomas, et al.
יצא לאור: (2025) -
Asymptotically Smaller Encodings for Graph Problems and Scheduling
מאת: Subercaseaux, Bernardo
יצא לאור: (2025) -
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance
מאת: Boreale, Michele, et al.
יצא לאור: (2019) -
SAT Encoding of Partial Ordering Models for Graph Coloring Problems
מאת: Faber, Daniel, et al.
יצא לאור: (2024)