Titlebook: Knowledge Science, Engineering and Management; 11th International C Weiru Liu,Fausto Giunchiglia,Bo Yang Conference proceedings 2018 Spring

強(qiáng)有力

A New Variable-Oriented Propagation Scheme for Constraint Satisfaction Problemerent revision ordering heuristics to this new variable-oriented scheme and compare them with the most efficient existing propagation schemes. The results from various structured and random problems show that the proposed propagation scheme reduces the number of revisions and offers speed-ups.