Look-ahead versus look-back for satisfiability problems (1997)

by Chu Min Li , Anbulagan
Venue:THIRD INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, LECTURE NOTES IN COMPUTER SCIENCE
Citations:68 - 1 self