E-LIB Suche - Ergebnisse für: Issac, Davis

1

A Contraction Tree SAT Encoding for Computing Twin-Width:

, In: Advances in Knowledge Discovery and Data Mining; Lecture Notes in Computer Science,

Horev, Yinon ; Shay, Shiraz ; Cohen, Sarel... - p. 444-456 , 2024

Link: https://doi.org/10.1007/..

2

Approximate Max-Flow Min-Multicut Theorem for Graphs of Bou..:

, In: Proceedings of the 55th Annual ACM Symposium on Theory of Computing,

Friedrich, Tobias ; Issac, Davis ; Kumar, Nikhil.. - p. 1325-1334 , 2023

Link: https://dl.acm.org/doi/1..

3

Improved and optimized drug repurposing for the SARS-CoV-2 ..:

Cohen, Sarel ; Hershcovitch, Moshik ; Taraz, Martin...
PLOS ONE. 18 (2023) 3 - p. e0266572 , 2023

Link: https://doi.org/10.1371/..

4

Efficient Constructions for the Győri-Lovász Theorem on Alm..:

, In: Graph-Theoretic Concepts in Computer Science; Lecture Notes in Computer Science,

Casel, Katrin ; Friedrich, Tobias ; Issac, Davis.. - p. 143-156 , 2023

Link: https://doi.org/10.1007/..

5

Upper bounding rainbow connection number by forest number:

Sunil Chandran, L. ; Issac, Davis ; Lauri, Juho.
Discrete Mathematics. 345 (2022) 7 - p. 112829 , 2022

Link: https://doi.org/10.1016/..

6

A Color-blind 3-Approximation for Chromatic Correlation Clu..:

, In: Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery & Data Mining,

Klodt, Nicolas ; Seifert, Lars ; Zahn, Arthur... - p. 882-891 , 2021

Link: https://dl.acm.org/doi/1..

7

On some covering, partition, and connectivity problems in g..:

Issac, Davis , 2019

Link: https://nbn-resolving.de..

8

Hadwiger's conjecture for squares of 2-trees:

Chandran, L. Sunil ; Issac, Davis ; Zhou, Sanming
European Journal of Combinatorics. 76 (2019) - p. 159-174 , 2019

Link: https://doi.org/10.1016/..

9

Sampling in Space Restricted Settings:

Bhattacharya, Anup ; Issac, Davis ; Jaiswal, Ragesh.
Algorithmica. 80 (2017) 5 - p. 1439-1458 , 2017

Link: https://doi.org/10.1007/..

10

Orodruin — A Heuristic Solver for Directed Feedback Vertex ..:

Angrick, Sebastian ; Bals, Ben ; Casel, Katrin...
https://github.com/BenBals/mount-doom. , 2022

Link: https://zenodo.org/recor..

11

Mount Doom — An Exact Solver for Directed Feedback Vertex S..:

Angrick, Sebastian ; Bals, Ben ; Casel, Katrin...
https://github.com/BenBals/mount-doom. , 2022

Link: https://zenodo.org/recor..

12

Mount Doom — An Exact Solver for Directed Feedback Vertex S..:

Angrick, Sebastian ; Bals, Ben ; Casel, Katrin...
https://github.com/BenBals/mount-doom. , 2022

Link: https://zenodo.org/recor..

13

Orodruin — A Heuristic Solver for Directed Feedback Vertex ..:

Angrick, Sebastian ; Bals, Ben ; Casel, Katrin...
https://github.com/BenBals/mount-doom. , 2022

Link: https://zenodo.org/recor..

14

ImprOpDRCovid:

Cohen, Sarel ; Hershcovitch, Moshik ; Taraz, Martin...
doi:10.5281/zenodo.7104737. , 2022

Link: https://zenodo.org/recor..

15

Efficient Constructions for the Gy\H{o}ri-Lov\'{a}sz Theore..:

Casel, Katrin ; Friedrich, Tobias ; Issac, Davis..
http://arxiv.org/abs/2207.09262. , 2022

Link: http://arxiv.org/abs/220..