Search Results - Seelisch, F

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra

    STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra by Pavlenko, E, Wedler, M, Stoffel, D, Kunz, W, Dreyer, A, Seelisch, F, Greuel, G

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    A constraint solver for model-based engineering

    A constraint solver for model-based engineering by Mauss, Jakob, Seelisch, Frank, Tatar, Mugur

    Published in Ai communications
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    The Groebner basis of the ideal of vanishing polynomials

    The Groebner basis of the ideal of vanishing polynomials by G -M Greuel, Seelisch, F, Wienand, O

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: