Too much information: Why CDCL solvers need to forget learned clauses von Krüger, Tom, Lorenz, Jan-Hendrik, Wörz, Florian

Volltext

Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space von Torán, Jacobo, Wörz, Florian

Volltext

Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas von Torán, Jacobo, Wörz, Florian

Volltext

Cutting Planes Width and the Complexity of Graph Isomorphism Refutations von Torán, Jacobo, Wörz, Florian

Volltext

Toward an Understanding of Long-tailed Runtimes of SLS Algorithms von Lorenz, Jan-Hendrik, Wörz, Florian

Volltext

On the Effect of Learned Clauses on Stochastic Local Search von Lorenz, Jan-Hendrik, Wörz, Florian

Volltext

Towards an Understanding of Long-Tailed Runtimes of SLS Algorithms von Lorenz, Jan-Hendrik, Wörz, Florian

Volltext bestellen

Evidence for Long-Tails in SLS Algorithms von Wörz, Florian, Lorenz, Jan-Hendrik

Volltext bestellen

Too much information: why CDCL solvers need to forget learned clauses von Krüger, Tom, Lorenz, Jan-Hendrik, Wörz, Florian

Volltext

On the Effect of Learned Clauses on Stochastic Local Search von Lorenz, Jan-Hendrik, Wörz, Florian

Volltext bestellen

Towards an Understanding of Long-Tailed Runtimes of SLS Algorithms von Lorenz, Jan-Hendrik, Wörz, Florian

Volltext

Evidence for Long-Tails in SLS Algorithms von Wörz, Florian, Lorenz, Jan-Hendrik

Volltext

Dataset for "Too much information: CDCL solvers need to forget and perform restarts" von Krüger, Tom, Lorenz, Jan-Hendrik, Wörz, Florian

Volltext bestellen

On the Effect of Learned Clauses on Stochastic Local Search von Lorenz, Jan-Hendrik, Wörz, Florian

Volltext

Dual signaling via interferon and DNA damage response elicits entrapment by giant PML nuclear bodies von Scherer, Myriam, Read, Clarissa, Neusser, Gregor, Kranz, Christine, Kuderna, Anna K, Müller, Regina, Full, Florian, Wörz, Sonja, Reichel, Anna, Schilling, Eva-Maria, Walther, Paul, Stamminger, Thomas

Volltext

Bremsstaubpartikelfilter, Scheibenbremsenanordnung, Verwendung eines Bremsstaubpartikelfilters und Verfahren zum Filtern von bremsstaubbeladener Luft von Keller, Florian, Bock, Lukas, Pfannkuch, Steffen, Thebault, Eric, Kohn, Kevin, Jessberger, Thomas, Beck, Andreas, Wörz, Tobias

Volltext bestellen

BRAKE DUST PARTICLE FILTER, DISC BRAKE ASSEMBLY AND METHOD FOR COLLECTING BRAKE DUST PARTICLES von KELLER, Florian, BOCK, Lukas, SATISH CHANDRA, Ashish, LEHMANN, Martin, SCHMID, Thorsten, PFANNKUCH, Steffen, WÖRZ, Tobias, YERAYAVAKKATH PRABHAKAR, Pravesh

Volltext bestellen

Bremsstaubpartikelfilter, Scheibenbremsenanordnung, Verwendung eines Filters und Verfahren zum Filtern von bremsstaubbeladener Luft von Keller, Florian, Schmid, Thorsten, Hahn, Friedemann, Bock, Lukas, Teschner, Matthias, Pfannkuch, Steffen, Thébault, Eric, Beck, Andreas, Weller, Benedikt, Wörz, Tobias

Volltext bestellen

BRAKE DUST PARTICLE FILTER, DISC BRAKE ASSEMBLY AND METHOD FOR COLLECTING BRAKE DUST PARTICLES von KELLER, Florian, BOCK, Lukas, SATISH CHANDRA, Ashish, LEHMANN, Martin, SCHMID, Thorsten, PFANNKUCH, Steffen, WÖRZ, Tobias, YERAYAVAKKATH PRABHAKAR, Pravesh

Volltext bestellen

Bremsstaubpartikelfilter, Scheibenbremsenanordnung, Verwendung eines Filters und Verfahren zum Filtern von bremsstaubbeladener Luft von Klinser, Andreas, Jurgenson, Sören, Keller, Florian, Bock, Lukas, Evlekli, Coskun, Kümmerling, Volker, Jessberger, Thomas, Wörz, Tobias, Weller, Benedikt

Volltext bestellen