#### Filter Results:

- Full text PDF available (9)

#### Publication Year

2005

2014

- This year (0)
- Last 5 years (6)
- Last 10 years (10)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Data Set Used

#### Key Phrases

Learn More

- Andreas Wotzlaw
- 2006

Applying pre-and inprocessing techniques to simplify CNF formulas both before and during search can considerably improve the performance of modern SAT solvers. These algorithms mostly aim at reducing the number of clauses, literals, and variables in the formula. However, to be worthwhile, it is necessary that their additional runtime does not exceed the… (More)

- Martin Gairing, Burkhard Monien, Andreas Wotzlaw
- ICALP
- 2005

We consider the problem of scheduling n independent jobs on m unrelated parallel machines without preemption. Job i takes processing time p i j on machine j, and the total time used by a machine is the sum of the processing times for the jobs assigned to it. The objective is to minimize makespan. The best known approximation algorithms for this problem… (More)

- Andreas Wotzlaw
- ArXiv
- 2014

Given a simple undirected graph G, the maximum k-club problem is to find a maximum-cardinality subset of nodes inducing a sub-graph of diameter at most k in G. This NP-hard generalization of clique, originally introduced to model low diameter clusters in social networks, is of interest in network-based data mining and clustering applications. We give two… (More)

- Burkhard Monien, Andreas Wotzlaw
- WEA
- 2006

- Andreas Wotzlaw, Ewald Speckenmeyer, Stefan Porschen
- Discrete Applied Mathematics
- 2012

- Andreas Wotzlaw
- EKAW
- 2010

- Andreas Wotzlaw, Ravi Coote
- ArXiv
- 2013

We present the architecture and the evaluation of a new system for recognizing textual entailment (RTE). In RTE we want to identify automatically the type of a logical relation between two input texts. In particular, we are interested in proving the existence of an entailment between them. We conceive our system as a modular environment allowing for a… (More)

- Ravi Coote, Andreas Wotzlaw
- Proceedings of the International Multiconference…
- 2010

This paper describes an application for computing first-order semantic representations of English texts. It is based on a combination of hybrid shallow-deep components arranged within the middleware framework Heart of Gold. The shallow-deep semantic analysis employs Robust Minimal Recursion Semantics (RMRS) as a common semantic underspecification formalism… (More)

- Stefan Porschen, Tatjana Schmidt, Ewald Speckenmeyer, Andreas Wotzlaw
- Discrete Applied Mathematics
- 2014

XSAT and NAE-SAT are important variants of the propositional satisfiability problem (SAT). Both are studied here regarding their computational complexity of linear CNF formulas. We prove that both variants remain NP-complete for (monotone) linear formulas yielding the conclusion that also bicolorability of linear hypergraphs is NP-complete. The reduction… (More)