Merkliste 
 1 Ergebnisse 
 
1

Solving the all-interval series problem : SAT vs CP:

, In: Proceedings of the 5th Symposium on Information and Communication Technology,
Nguyen, Van-Hau ; Son, Mai Thai - p. 65-74 , 2014