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
455*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
182*2002
Oz Explorer: A visual constraint programming tool
C Schulte
International Symposium on Programming Language Implementation and Logic …, 1996
1611996
Modeling and Programming with Gecode
C Schulte, G Tack, MZ Lagerkvist
Web site: http://www. gecode. org, 2013
152*2013
Efficient constraint propagation engines
C Schulte, PJ Stuckey
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 1-43, 2008
1522008
Finite domain constraint programming in Oz
C Schulte, G Smolka, J Wurtz
A tutorial. Technical report, DFKI and Saarland University, 1999
141*1999
Programming languages for distributed applications
S Haridi, P Van Roy, P Brand, C Schulte
New generation computing 16 (3), 223-261, 1998
1181998
Confidence-based work stealing in parallel constraint programming
G Chu, C Schulte, PJ Stuckey
International conference on principles and practice of constraint …, 2009
1002009
Programming constraint inference engines
C Schulte
International Conference on Principles and Practice of Constraint …, 1997
1001997
Comparing Trailing and Copying for Constraint Programming.
C Schulte
ICLP 99, 275-289, 1999
991999
Speeding up constraint propagation
C Schulte, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2004
872004
Views and iterators for generic constraint implementations
C Schulte, G Tack
International Workshop on Constraint Solving and Constraint Logic …, 2005
862005
Finite domain constraint programming systems
C Schulte, M Carlsson
Foundations of Artificial Intelligence 2, 495-526, 2006
822006
Parallel search made simple
C Schulte
Proceedings of TRICS: Techniques foR Implementing Constraint programming …, 2000
822000
Encapsulated search and constraint programming in Oz
C Schulte, G Smolka, J Würtz
International Workshop on Principles and Practice of Constraint Programming …, 1994
821994
Encapsulated Search for Higher-order Concurrent Constraint Programming.
C Schulte, G Smolka
ILPS, 505-520, 1994
811994
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
692003
An abstract machine for Oz
M Mehl, R Scheidhauer, C Schulte
International Symposium on Programming Language Implementation and Logic …, 1995
681995
Constraint-based register allocation and instruction scheduling
RC Lozano, M Carlsson, F Drejhammar, C Schulte
International Conference on Principles and Practice of Constraint …, 2012
462012
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
452005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20