Frank Seelisch

According to our database, Frank Seelisch authored at least 9 papers between 2001 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

The Gröbner basis of the ideal of vanishing polynomials.

Gert-Martin Greuel, Frank Seelisch, Oliver Wienand

J. Symb. Comput., 2011

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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

2010

Normalization of rings.

Gert-Martin Greuel, Santiago Laplagne, Frank Seelisch

J. Symb. Comput., 2010

2009

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

Proceedings of the Algorithms and Applications for Next Generation SAT Solvers, 08.11., 2009

2007

Formalisms in Software Engineering: Myths Versus Empirical Facts.

H. Dieter Rombach, Frank Seelisch

Proceedings of the Balancing Agility and Formalism in Software Engineering, 2007

2004

A constraint solver for model-based engineering.

Jakob Mauss, Frank Seelisch, Mugur M. Tatar

AI Commun., 2004

2002

A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form.

Frank Seelisch

Proceedings of the Principles and Practice of Constraint Programming, 2002

A Relational Constraint Solver for Model-Based Engineering.

Jakob Mauss, Frank Seelisch, Mugur M. Tatar

Proceedings of the Principles and Practice of Constraint Programming, 2002

2001

Heterogeneous Constraint Problems.

Frank Seelisch

Proceedings of the Principles and Practice of Constraint Programming, 2001