Hybrid Constraints in Automated Model Synthesis and Model Processing. - Klaus-Ulrich Leweling; Benno Stein 001 (Electron. Notes Discret. Math., 2000)