Modelling and solving English Peg Solitaire
Computers and Operations Research
A formal framework for declarative scene description transformation into geometric constraints
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Backward-Chaining flexible planning
ICMLC'05 Proceedings of the 4th international conference on Advances in Machine Learning and Cybernetics
Minimal perturbation problem in course timetabling
PATAT'04 Proceedings of the 5th international conference on Practice and Theory of Automated Timetabling
Deanonymizing mobility traces: using social network as a side-channel
Proceedings of the 2012 ACM conference on Computer and communications security
| Hi-index | 0.00 |