PROGRAMMING PEARL: Enhancing a search algorithm to perform intelligent backtracking

DOI10.1017/S1471068403001893zbMath1088.68557OpenAlexW2088612692MaRDI QIDQ4669649

Maurice Bruynooghe

Publication date: 15 April 2005

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068403001893

zbMATH Keywords

backjumping

Mathematics Subject Classification ID

Searching and sorting (68P10) Logic programming (68N17)

Related Items (4)

A pearl on SAT and SMT solving in Prolog ⋮ A multiagent evolutionary algorithm with direct and indirect combined representation for constraint satisfaction problems ⋮ Backjumping is Exception Handling ⋮ A Flexible Search Framework for CHR

This page was built for publication: PROGRAMMING PEARL: Enhancing a search algorithm to perform intelligent backtracking