I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Solving periodic event scheduling problems with SAT:

, In: Proceedings of the 25th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems: advanced research in applied artificial intelligence,
Großmann, Peter ; Hölldobler, Steffen ; Manthey, Norbert... - p. 166-175 , 2012
Link: https://dl.acm.org/doi/10.1007/978-3-642-31087-4_18