Andreas Wotzlaw
Identifiers
- name variant Andreas Wotzlaw 0.60 · backfill
Papers (3)
- On Solving the Maximum $k$-club Problem cs.DS · 2014 · author #1
- A Logic-based Approach for Recognizing Textual Entailment Supported by Ontological Background Knowledge cs.CL · 2013 · author #1
- Effectiveness of pre- and inprocessing for CDCL-based SAT solving cs.LO · 2013 · author #1
Mentions
Frequent Coauthors
- Alexander van der Grinten 1 shared papers
- Ewald Speckenmeyer 1 shared papers
- Ravi Coote 1 shared papers