Christian Schulte
Christian Schulte
Professor of Computer Science, KTH Royal Institute of Technology
Verified email at kth.se - Homepage
TitleCited byYear
Gecode
C Schulte, M Lagerkvist, G Tack
Software download and online material at the website: http://www. gecode …, 2006
412*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
173*2002
Oz Explorer: A visual constraint programming tool
C Schulte
International Symposium on Programming Language Implementation and Logic …, 1996
1601996
Efficient constraint propagation engines
C Schulte, PJ Stuckey
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 2, 2008
1382008
Finite domain constraint programming in Oz
C Schulte, G Smolka, J Wurtz
A tutorial. Technical report, DFKI and Saarland University, 1999
138*1999
Modeling and Programming with Gecode
C Schulte, G Tack, MZ Lagerkvist
Web site: http://www. gecode. org, 2013
125*2013
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
991999
Programming constraint inference engines
C Schulte
International Conference on Principles and Practice of Constraint …, 1997
981997
Confidence-based work stealing in parallel constraint programming
G Chu, C Schulte, PJ Stuckey
International conference on principles and practice of constraint …, 2009
922009
Speeding up constraint propagation
C Schulte, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2004
862004
Encapsulated search and constraint programming in Oz
C Schulte, G Smolka, J Würtz
International Workshop on Principles and Practice of Constraint Programming …, 1994
801994
Views and iterators for generic constraint implementations
C Schulte, G Tack
International Workshop on Constraint Solving and Constraint Logic …, 2005
792005
Encapsulated Search for Higher-order Concurrent Constraint Programming.
C Schulte, G Smolka
ILPS, 505-520, 1994
791994
Parallel search made simple
C Schulte
Proceedings of TRICS: Techniques foR Implementing Constraint programming …, 2000
772000
Finite domain constraint programming systems
C Schulte, M Carlsson
Foundations of Artificial Intelligence 2, 495-526, 2006
722006
An abstract machine for Oz
M Mehl, R Scheidhauer, C Schulte
International Symposium on Programming Language Implementation and Logic …, 1995
671995
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
632003
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
422005
Constraint-based register allocation and instruction scheduling
RC Lozano, M Carlsson, F Drejhammar, C Schulte
International Conference on Principles and Practice of Constraint …, 2012
412012
The system can't perform the operation now. Try again later.
Articles 1–20