Adaptive clause weight redistribution (2006)

by Abdelraouf Ishtaiwi , John Thornton, Anbulagan , Abdul Sattar , Duc Nghia Pham
Venue:IN PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THE PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP-2006
Citations:8 - 1 self