(Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability | Publicación