Sciweavers

10575 search results - page 327 / 2115
» T2Script Programming Language
Sort
View
174
Voted
PPDP
2004
Springer
16 years 18 days ago
New completeness results for lazy conditional narrowing
Mircea Marin, Aart Middeldorp
SIGADA
2004
Springer
16 years 18 days ago
Cheddar: a flexible real time scheduling framework
Frank Singhoff, Jérôme Legrand, Laure...
128
Voted
CP
2003
Springer
16 years 15 days ago
Improving Backtrack Search for Solving the TCSP
Lin Xu, Berthe Y. Choueiry
124
Voted
CP
2003
Springer
16 years 15 days ago
A Wealth of SAT Distributions with Planted Assignments
Tassos Dimitriou