Heterogeneous Constraint Problems. - Frank Seelisch (CP, 2001)

A Relational Constraint Solver for Model-Based Engineering. - Jakob Mauss; Frank Seelisch; Mugur M. Tatar (CP, 2002)

A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form. - Frank Seelisch (CP, 2002)

A constraint solver for model-based engineering. - Jakob Mauss; Frank Seelisch; Mugur M. Tatar (AI Commun., 2004)

Formalisms in Software Engineering: Myths Versus Empirical Facts. - H. Dieter Rombach; Frank Seelisch (CEE-SET, 2007)

Solving hard instances in QF-BV combining Boolean reasoning with computer algebra. - Markus Wedler; Evgeny Pavlenko; Alexander Dreyer; Frank Seelisch; Dominik Stoffel; Gert-Martin Greuel; Wolfgang Kunz (Algorithms and Applications for Next Generation SAT Solvers, 2009)

Normalization of rings. - Gert-Martin Greuel; Santiago Laplagne; Frank Seelisch (J. Symb. Comput., 2010)

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 (MBMV, 2011)

The Gröbner basis of the ideal of vanishing polynomials. - Gert-Martin Greuel; Frank Seelisch; Oliver Wienand (J. Symb. Comput., 2011)