Christian Schulte
Christian Schulte
Professor of Computer Science, KTH Royal Institute of Technology
Bestätigte E-Mail-Adresse bei kth.se - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Gecode
C Schulte, M Lagerkvist, G Tack
Software download and online material at the website: http://www. gecode …, 2006
463*2006
Programming Constraint Services: High-Level Programming of Standard and New Constraint Services, volume 2302 of Lecture Notes in Artificial Intelligence
C Schulte
Springer-Verlag 2 (5.7), 2, 2002
184*2002
Modeling and Programming with Gecode
C Schulte, G Tack, MZ Lagerkvist
Web site: http://www. gecode. org, 2013
158*2013
Oz Explorer: A visual constraint programming tool
C Schulte
International Symposium on Programming Language Implementation and Logic …, 1996
1581996
Efficient constraint propagation engines
C Schulte, PJ Stuckey
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 1-43, 2008
1562008
Finite domain constraint programming in Oz
C Schulte, G Smolka, J Wurtz
A tutorial. Technical report, DFKI and Saarland University, 1999
145*1999
Programming languages for distributed applications
S Haridi, P Van Roy, P Brand, C Schulte
New generation computing 16 (3), 223-261, 1998
1191998
Comparing Trailing and Copying for Constraint Programming.
C Schulte
ICLP 99, 275-289, 1999
1011999
Programming constraint inference engines
C Schulte
International Conference on Principles and Practice of Constraint …, 1997
1001997
Confidence-based work stealing in parallel constraint programming
G Chu, C Schulte, PJ Stuckey
International conference on principles and practice of constraint …, 2009
992009
Speeding up constraint propagation
C Schulte, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2004
902004
Views and iterators for generic constraint implementations
C Schulte, G Tack
International Workshop on Constraint Solving and Constraint Logic …, 2005
872005
Finite domain constraint programming systems
C Schulte, M Carlsson
Foundations of Artificial Intelligence 2, 495-526, 2006
862006
Parallel search made simple
C Schulte
Proceedings of TRICS: Techniques foR Implementing Constraint programming …, 2000
852000
Encapsulated search and constraint programming in Oz
C Schulte, G Smolka, J Würtz
International Workshop on Principles and Practice of Constraint Programming …, 1994
841994
Encapsulated Search for Higher-order Concurrent Constraint Programming.
C Schulte, G Smolka
ILPS, 505-520, 1994
791994
Logic programming in the context of multiparadigm programming: the Oz experience
P Van Roy, P Brand, D Duchier, S Haridi, C Schulte, M Henz
Theory and practice of logic programming 3 (6), 717-763, 2003
702003
An abstract machine for Oz
M Mehl, R Scheidhauer, C Schulte
International Symposium on Programming Language Implementation and Logic …, 1995
691995
Constraint-based register allocation and instruction scheduling
RC Lozano, M Carlsson, F Drejhammar, C Schulte
International Conference on Principles and Practice of Constraint …, 2012
472012
When do bounds and domain propagation lead to the same search space?
C Schulte, PJ Stuckey
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (3), 388-425, 2005
462005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20