Conference Publication Details
Mandatory Fields
Deepak Mehta, Barry O’Sullivan, Lars Kotthoff, Yuri Malitsky
2013 IEEE 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013
Lazy Branching for Constraint Satisfaction
2013
November
Published
1
WOS: 1 ()
Optional Fields
1012
1019
VA
04-NOV-13
06-NOV-13
10.1109/ICTAI.2013.152
Grant Details