Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

Login to this database

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

	Year		Title	BibTeX cite key
Rahman, Rückert, Fischmann
Ratschan
	2006		Efficient Solving of Quantified Inequality Constraints over the Real Numbers In: ACM Transactions on Computational Logic [7], 723-748	Ratschan2005a
	2005		Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems In: Algorithmic Algebra and Logic; Conference in Honor of the 60th Birthday of Volker Weispfenning, 213-216	Ratschan2005b
	2004		Convergent Approximate Solving of First-order Constraints by Approximate Quantifiers In: ACM Transactions on Computational Logic [5], 264-281	Ratschan2004b
	2003		Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities In: Principles and practice on constraint programming - CP 2003 : 9th International Conference, CP 2003, 615-633	Ratschan2003
Ratschan, She
Ratschan, Smaus
Ratschan, Vehi
Rau
Reinold
Rock
Rybalchenko
Rybalchenko, Sofronie-Stokkermans
Schäf
Schlobach
Schmidt
Schmidt, Hustadt
Schmidt, Orłowska, Hustadt
Schmidt, Tishkovsky
Schmidt, Tishkovsky, Hustadt
Schmolzi
She, Ratschan
She, Xia, Xiao
Simon, Freiheit, Olbrich
Smaus
Socher-Ambrosius
Sofronie-Stokkermans
Sofronie-Stokkermans, Stokkermans
Struth

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)