Copertina

Computing diverse pair of solutions for tractable SAT

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Gima, Tatsuya, Iwamasa, Yuni, Kobayashi, Yasuaki, Kurita, Kazuhiro, Otachi, Yota, Saito, Rin
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Data Structures and Algorithms
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Forcing a unique minimum spanning tree and a unique shortest path
di: Gima, Tatsuya, et al.
Pubblicazione: (2025)

Dichotomies for Tree Minor Containment with Structural Parameters
di: Gima, Tatsuya, et al.
Pubblicazione: (2023)

Hitting Geodesic Intervals in Structurally Restricted Graphs
di: Gima, Tatsuya, et al.
Pubblicazione: (2025)

Structural Parameterizations of Vertex Integrity
di: Gima, Tatsuya, et al.
Pubblicazione: (2023)

Treewidth of the $n \times n$ toroidal grid
di: Gima, Tatsuya, et al.
Pubblicazione: (2026)

Structural Parameterizations of $k$-Planarity
di: Gima, Tatsuya, et al.
Pubblicazione: (2025)

An improved spectral lower bound of treewidth
di: Gima, Tatsuya, et al.
Pubblicazione: (2024)

Spanning tree congestion of proper interval graphs
di: Otachi, Yota
Pubblicazione: (2026)

Efficient Constant-Factor Approximate Enumeration of Minimal Subsets for Monotone Properties with Weight Constraints
di: Kobayashi, Yasuaki, et al.
Pubblicazione: (2020)

Broadcasting under Structural Restrictions
di: Egami, Yudai, et al.
Pubblicazione: (2025)

Polynomial-Delay Enumeration of Large Maximal Common Independent Sets in Two Matroids and Beyond
di: Kobayashi, Yasuaki, et al.
Pubblicazione: (2023)

A general framework for finding diverse solutions via network flow and its applications
di: Iwamasa, Yuni, et al.
Pubblicazione: (2025)

Biclique Reconfiguration in Bipartite Graphs
di: Otachi, Yota, et al.
Pubblicazione: (2026)

Finding One Local Optimum Is Easy -- but What About Two?
di: Kobayashi, Yasuaki, et al.
Pubblicazione: (2025)

Enumerating minimal vertex covers and dominating sets with capacity and/or connectivity constraints
di: Kobayashi, Yasuaki, et al.
Pubblicazione: (2023)

Finding Induced Subgraphs from Graphs with Small Mim-Width
di: Otachi, Yota, et al.
Pubblicazione: (2024)

Finding Order-Preserving Subgraphs
di: Imamura, Haruya, et al.
Pubblicazione: (2025)

Finding a Maximum Common (Induced) Subgraph: Structural Parameters Revisited
di: Hanaka, Tesshu, et al.
Pubblicazione: (2025)

Sequentially Swapping Tokens: Further on Graph Classes
di: Kiya, Hironori, et al.
Pubblicazione: (2022)

The Complexity of Maximal Common Subsequence Enumeration
di: Buzzega, Giovanni, et al.
Pubblicazione: (2025)

Enumerating Graphlets with Amortized Time Complexity Independent of Graph Size
di: Conte, Alessio, et al.
Pubblicazione: (2024)

On the sizes of BDDs and ZDDs representing matroids
di: Emoto, Hiromi, et al.
Pubblicazione: (2024)

Courcelle's Theorem for Lipschitz Continuity
di: Gima, Tatsuya, et al.
Pubblicazione: (2025)

An Approximation Algorithm for $K$-best Enumeration of Minimal Connected Edge Dominating Sets with Cardinality Constraints
di: Kurita, Kazuhiro, et al.
Pubblicazione: (2022)

Algorithmic aspects of semistability of quiver representations
di: Iwamasa, Yuni, et al.
Pubblicazione: (2024)

On the complexity of finding a spanning even tree in a graph
di: Hanaka, Tesshu, et al.
Pubblicazione: (2024)

The Complexity of Maximal/Closed Frequent Tree Mining for Bounded Height Trees
di: Komoto, Kenta, et al.
Pubblicazione: (2026)

Parameterized Complexity of Finding Dissimilar Shortest Paths
di: Funayama, Ryo, et al.
Pubblicazione: (2024)

Fast and Practical Single-Exponential Algorithms for Branchwidth
di: Kaneda, Taiki, et al.
Pubblicazione: (2026)

On the Complexity of Hyperpath and Minimal Separator Enumeration in Directed Hypergraphs
di: Kurita, Kazuhiro, et al.
Pubblicazione: (2025)

Connectivity augmentation is fixed-parameter tractable
di: Korhonen, Tuukka, et al.
Pubblicazione: (2026)

2-Layer Fan-Planarity in Polynomial Time
di: Kobayashi, Yasuaki, et al.
Pubblicazione: (2025)

Algorithms for Optimally Shifting Intervals under Intersection Graph Models
di: Honorato-Droguett, Nicolás, et al.
Pubblicazione: (2023)

On the Complexity of Minimising the Moving Distance for Dispersing Objects
di: Honorato-Droguett, Nicolás, et al.
Pubblicazione: (2025)

Fixed-parameter tractability of Directed Multicut with three terminal pairs parameterized by the size of the cutset: twin-width meets flow-augmentation
di: Hatzel, Meike, et al.
Pubblicazione: (2022)

Subquadratic Submodular Maximization with a General Matroid Constraint
di: Kobayashi, Yusuke, et al.
Pubblicazione: (2024)

Bandwidth Parameterized by Cluster Vertex Deletion Number
di: Gima, Tatsuya, et al.
Pubblicazione: (2023)

New Algorithms for #2-SAT and #3-SAT
di: Peng, Junqiang, et al.
Pubblicazione: (2025)

Coloring Reconfiguration under Color Swapping
di: Fuchs, Janosch, et al.
Pubblicazione: (2025)

Solution Discovery for Vertex Cover, Independent Set, Dominating Set, and Feedback Vertex Set
di: Saito, Rin, et al.
Pubblicazione: (2025)