Frank Seelisch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2001–2011
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | DATE | STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra. | Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel |
| 2002 | CP | A Relational Constraint Solver for Model-Based Engineering. | Jakob Mauss, Frank Seelisch, Mugur M. Tatar |
| 2002 | CP | A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form. | Frank Seelisch |
| 2001 | CP | Heterogeneous Constraint Problems. | Frank Seelisch |