Andreas Wotzlaw - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 5 von 5

)

Sc2014 proceedings

de.slideshare.net

73 satUZK: Solver Description Alexander van der Grinten, Andreas Wotzlaw, and Ewald Speckenmeyer Description of ...

[ ] Effectiveness of pre- and inprocessing for CDCL-based SAT...

arxiv.org

From: Andreas Wotzlaw [view email] [v1] Thu, 17 Oct :49:32 GMT (104kb,D). Which authors of this paper are endorsers? | Disable ...

[ ] On Solving the Maximum $k$-club Problem

arxiv.org

Authors: Andreas Wotzlaw. (Submitted on 20 Mar (v1), last revised 3 Apr (this version, v2)). Abstract: Given a simple undirected ...

[ ] A Logic-based Approach for Recognizing Textual Entailment...

arxiv.org

From: Andreas Wotzlaw [view email] [v1] Fri, 18 Oct :10:32 GMT (105kb,D). Which authors of this paper are endorsers? | Disable ...

[ v1] Effectiveness of pre- and inprocessing for CDCL-based...

arxiv.org

Authors: Andreas Wotzlaw, Alexander van der Grinten, Ewald Speckenmeyer. (Submitted on 17 Oct 2013). Abstract: Applying pre- and inprocessing techniques ...

Verwandte Suchanfragen zu Andreas Wotzlaw

Tatjana Schmidt
Ravi Coote
Thomas Nitsche

Ewald Speckenmeyer
Valentin Rottmann
Peter Wotzlaw

Personen
Vorname "Andreas" (97752)
Name "Wotzlaw" (29)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dokumente zum Namen Andreas Wotzlaw

Sc2014 proceedings

[ ] Effectiveness of pre- and inprocessing for CDCL-based SAT...

[ ] On Solving the Maximum $k$-club Problem

[ ] A Logic-based Approach for Recognizing Textual Entailment...

[ v1] Effectiveness of pre- and inprocessing for CDCL-based...