Suchfeld einblenden
Schlagwort Constraint-Programmierung
51 Treffer
Theory and applications of satisfiability testing
: 10th international conference ; proceedings / SAT 2007, Lisbon, Portugal, May 28 - 31, 2007. João Marques-Silva ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4501)
ISBN 978-3-540-72788-0
Lizenzpflichtig
Quelle: DNB
