Picture for Andreas Wotzlaw

Andreas Wotzlaw

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

Add code
Oct 18, 2013
Figure 1 for A Logic-based Approach for Recognizing Textual Entailment Supported by Ontological Background Knowledge
Figure 2 for A Logic-based Approach for Recognizing Textual Entailment Supported by Ontological Background Knowledge
Figure 3 for A Logic-based Approach for Recognizing Textual Entailment Supported by Ontological Background Knowledge
Figure 4 for A Logic-based Approach for Recognizing Textual Entailment Supported by Ontological Background Knowledge
Viaarxiv icon

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

Add code
Oct 17, 2013
Figure 1 for Effectiveness of pre- and inprocessing for CDCL-based SAT solving
Figure 2 for Effectiveness of pre- and inprocessing for CDCL-based SAT solving
Figure 3 for Effectiveness of pre- and inprocessing for CDCL-based SAT solving
Figure 4 for Effectiveness of pre- and inprocessing for CDCL-based SAT solving
Viaarxiv icon