Charles Explorer logo
🇬🇧

A new algorithm for maintaining arc consistency after constraint retraction

Publication

Abstract

A new algorithm for maintaining arc consistency after constraint retraction