E-LIB Suche - Ergebnisse für: Wörz, Florian

1

Cutting Planes Width and the Complexity of Graph Isomorphis..:

Torán, Jacobo ; Wörz, Florian
ACM Transactions on Computational Logic. , 2024

Link: https://doi.org/10.1145/..

2

Number of Variables for Graph Differentiation and the Resol..:

Torán, Jacobo ; Wörz, Florian
ACM Transactions on Computational Logic. 24 (2023) 3 - p. 1-25 , 2023

Link: https://doi.org/10.1145/..

3

Too much information: Why CDCL solvers need to forget learn..:

Krüger, Tom ; Lorenz, Jan-Hendrik ; Wörz, Florian.
PLOS ONE. 17 (2022) 8 - p. e0272967 , 2022

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

4

Toward an Understanding of Long-tailed Runtimes of SLS Algo..:

Lorenz, Jan-Hendrik ; Wörz, Florian
ACM Journal of Experimental Algorithmics. 27 (2022) - p. 1-38 , 2022

Link: https://doi.org/10.1145/..

5

Reversible Pebble Games and the Relation Between Tree-Like ..:

Torán, Jacobo ; Wörz, Florian
computational complexity. 30 (2021) 1 - p. , 2021

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

6

On the Effect of Learned Clauses on Stochastic Local Search:

, In: Theory and Applications of Satisfiability Testing – SAT 2020; Lecture Notes in Computer Science,

Lorenz, Jan-Hendrik ; Wörz, Florian - p. 89-106 , 2020

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

7

Reversible pebble games and the relation between tree-like ..:

Torán, Jacobo ; Wörz, Florian
http://dx.doi.org/10.18725/OPARU-49460. , 2023

Link: https://doi.org/10.18725..

8

Too much information: why CDCL solvers need to forget learn..:

Krüger, Tom ; Lorenz, Jan-Hendrik ; Wörz, Florian
http://arxiv.org/abs/2202.01030. , 2022

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

9

Towards an Understanding of Long-Tailed Runtimes of SLS Alg..:

Lorenz, Jan-Hendrik ; Wörz, Florian
http://arxiv.org/abs/2210.13159. , 2022

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

10

Evidence for Long-Tails in SLS Algorithms:

Wörz, Florian ; Lorenz, Jan-Hendrik
http://arxiv.org/abs/2107.00378. , 2021

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

11

On the Effect of Learned Clauses on Stochastic Local Search:

Lorenz, Jan-Hendrik ; Wörz, Florian
http://arxiv.org/abs/2005.04022. , 2020

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

12

Dataset for "Too much information: CDCL solvers need to for..:

Tom Krüger ; Jan-Hendrik Lorenz ; Florian Wörz
doi:10.5281/zenodo.5902372. , 2022

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

13

Dataset for "Too much information: CDCL solvers need to for..:

Tom Krüger ; Jan-Hendrik Lorenz ; Florian Wörz
doi:10.5281/zenodo.5902372. , 2022

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

14

Too much information: Why CDCL solvers need to forget learn..:

Tom Krüger ; Jan-Hendrik Lorenz ; Florian Wörz
https://doi.org/10.1371/journal.pone.0272967. , 2022

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

15

Statistical Evaluation of "Evidence for Long-Tails in SLS A..:

Florian Wörz ; Jan-Hendrik Lorenz
https://github.com/FlorianWoerz/SLS_Evidence_long_tail/tree/v1.0. , 2021

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