Search Results - Kupferschmid, Stefan

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Incremental preprocessing methods for use in BMC

    Incremental preprocessing methods for use in BMC by Kupferschmid, Stefan, Lewis, Matthew, Schubert, Tobias, Becker, Bernd

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    T8. GLUTAMATERGIC SIGNALLING AND AUTISM: A FAMILY BASED ASSOCIATION STUDY ON THE GLUTAMATERGIC NEUROTRANSMITTER SYSTEM

    T8. GLUTAMATERGIC SIGNALLING AND AUTISM: A FAMILY BASED ASSOCIATION STUDY ON THE GLUTAMATERGIC NEUROTRANSMITTER SYSTEM by Freitag, Christine M., Yousaf, Afsheen, Bour, Hannah, Haslinger, Denise, Duketis, Eftichia, Jarczok, Tomasz, Sachse, Michael, Voran, Anette, Biscaldi-Schäfer, Monika, Kupferschmid, Stefan, Schulte-Rüther, Michael, Degenhard, Franziska, Herms, Stefan, Cichon, Sven, Koch, Ina, Anney, Ric, Chiocchetti, Andreas

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Functional test of small-delay faults using SAT and Craig interpolation

    Functional test of small-delay faults using SAT and Craig interpolation by Sauer, M., Kupferschmid, S., Czutro, A., Polian, I., Reddy, S., Becker, B.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation

    Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation by Sauer, M., Kupferschmid, S., Czutro, A., Reddy, S., Becker, B.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: