Frank Seelisch

Publication Activity (10 Years)

Years Active: 2001-2011
Publications (10 Years): 0

Publications

Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel
STABLE: A new QF-BV SMT Solver for hard Verification Problems combining Boolean Reasoning with Computer Algebra. MBMV (2011)
Gert-Martin Greuel, Frank Seelisch, Oliver Wienand
The Gröbner basis of the ideal of vanishing polynomials. J. Symb. Comput. 46 (5) (2011)
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel
STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra. DATE (2011)
Gert-Martin Greuel, Santiago Laplagne, Frank Seelisch
Normalization of rings. J. Symb. Comput. 45 (9) (2010)
Markus Wedler, Evgeny Pavlenko, Alexander Dreyer, Frank Seelisch, Dominik Stoffel, Gert-Martin Greuel, Wolfgang Kunz
Solving hard instances in QF-BV combining Boolean reasoning with computer algebra. Algorithms and Applications for Next Generation SAT Solvers (2009)
H. Dieter Rombach, Frank Seelisch
Formalisms in Software Engineering: Myths Versus Empirical Facts. CEE-SET (2007)
Jakob Mauss, Frank Seelisch, Mugur M. Tatar
A constraint solver for model-based engineering. AI Commun. 17 (2) (2004)
Frank Seelisch
A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form. CP (2002)
Jakob Mauss, Frank Seelisch, Mugur M. Tatar
A Relational Constraint Solver for Model-Based Engineering. CP (2002)
Frank Seelisch
Heterogeneous Constraint Problems. CP (2001)