Andreas Wotzlaw

According to our database, Andreas Wotzlaw authored at least 12 papers between 2005 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2014

XSAT and NAE-SAT of linear CNF classes.

Stefan Porschen, Tatjana Schmidt, Ewald Speckenmeyer, Andreas Wotzlaw

Discret. Appl. Math., 2014

On Solving the Maximum $k$-club Problem.

Andreas Wotzlaw

CoRR, 2014

Probabilistic Analysis of Random Mixed Horn Formulas.

Andreas Wotzlaw, Ewald Speckenmeyer, Stefan Porschen

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014

2013

Effectiveness of pre- and inprocessing for CDCL-based SAT solving.

Andreas Wotzlaw, Alexander van der Grinten, Ewald Speckenmeyer

CoRR, 2013

A Logic-based Approach for Recognizing Textual Entailment Supported by Ontological Background Knowledge.

Andreas Wotzlaw, Ravi Coote

CoRR, 2013

2012

Generalized k-ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation.

Andreas Wotzlaw, Ewald Speckenmeyer, Stefan Porschen

Discret. Appl. Math., 2012

2011

A Satisfiability-Based Approach for Embedding Generalized Tanglegrams on Level Graphs.

Ewald Speckenmeyer, Andreas Wotzlaw, Stefan Porschen

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

2010

Generation of First-Order Expressions from a Broad Coverage HPSG Grammar.

Ravi Coote, Andreas Wotzlaw

Proceedings of the International Multiconference on Computer Science and Information Technology, 2010

Towards Better Ontological Support for Recognizing Textual Entailment.

Andreas Wotzlaw

Proceedings of the Knowledge Engineering and Management by the Masses, 2010

2006

Scheduling unrelated parallel machines: algorithms, complexity, and performance.

Andreas Wotzlaw

PhD thesis, 2006

Scheduling Unrelated Parallel Machines Computational Results.

Burkhard Monien, Andreas Woclaw

Proceedings of the Experimental Algorithms, 5th International Workshop, 2006

2005

A Faster Combinatorial Approximation Algorithm for Scheduling Unrelated Parallel Machines.

Martin Gairing, Burkhard Monien, Andreas Woclaw

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005