The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Sven Reimer" ( http://dblp.L3S.de/Authors/Sven_Reimer )

  Author page on DBLP  Author page in RDF  Community of Sven Reimer in ASPL-2

Publication years (Num. hits)
2011-2017 (15) 2018 (1)
Publication types (Num. hits)
article(2) inproceedings(13) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 17 publication records. Showing 16 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Tobias Paxian, Sven Reimer, Bernd Becker 0001 Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker 0001 HQSpre - An Effective Preprocessor for QBF and DQBF. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Jie Jiang, Sven Reimer, Kohei Miyase, Xiaoqing Wen, Bernd Becker 0001, Ilia Polian On Optimal Power-Aware Path Sensitization. Search on Bibsonomy ATS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Michael A. Kochte, Sven Reimer, Matthias Sauer 0002, Hans-Joachim Wunderlich, Bernd Becker 0001 Accurate QBF-Based Test Pattern Generation in Presence of Unknown Values. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer 0002, Christoph Scholl, Bernd Becker 0001 Solving DQBF through quantifier elimination. Search on Bibsonomy DATE The full citation details ... 2015 DBLP  BibTeX  RDF
1Sven Reimer Bekannte Unbekannte: formale Methoden in Anwesenheit unbekannter Werte. Search on Bibsonomy 2015   RDF
1Sven Reimer, Matthias Sauer 0002, Paolo Marin, Bernd Becker 0001 QBF with Soft Variables. Search on Bibsonomy ECEASST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sven Reimer, Matthias Sauer 0002, Tobias Schubert 0001, Bernd Becker 0001 Using MaxBMC for Pareto-optimal circuit initialization. Search on Bibsonomy DATE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sven Reimer, Matthias Sauer 0002, Tobias Schubert 0001, Bernd Becker 0001 Incremental Encoding and Solving of Cardinality Constraints. Search on Bibsonomy ATVA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Sven Reimer, Sudhakar M. Reddy, Bernd Becker 0001 Efficient SAT-Based Circuit Initialization for Larger Designs. Search on Bibsonomy VLSI Design The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Sven Reimer, Tobias Schubert 0001, Ilia Polian, Bernd Becker 0001 Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths. Search on Bibsonomy DATE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Sven Reimer, Ilia Polian, Tobias Schubert 0001, Bernd Becker 0001 Provably optimal test cube generation using quantified boolean formula solving. Search on Bibsonomy ASP-DAC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Karina Gitina, Sven Reimer, Matthias Sauer 0002, Ralf Wimmer, Christoph Scholl, Bernd Becker 0001 Equivalence Checking for Partial Implementations Revisited. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Karina Gitina, Sven Reimer, Matthias Sauer 0002, Ralf Wimmer, Christoph Scholl, Bernd Becker 0001 Equivalence checking of partial designs using dependency quantified Boolean formulae. Search on Bibsonomy ICCD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker 0001 Enhanced Integration of QBF Solving Techniques. Search on Bibsonomy MBMV The full citation details ... 2012 DBLP  BibTeX  RDF
1Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker 0001 Integration of orthogonal QBF solving techniques. Search on Bibsonomy DATE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license