Toward the concept of backtracking computation

zbMATH Open1272.68076MaRDI QIDQ2848128

Marija Kulaš

Publication date: 25 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105002070

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (8)

Computational complexity of terminological reasoning in BACK ⋮ Backing backtracking ⋮ Title not available (Why is that?) ⋮ Backtracking-assisted multiplication ⋮ Finding recurrent sets with backward analysis and trace partitioning ⋮ Forward checking and intelligent backtracking ⋮ A Theory for Backtrack-Downweighted Walks ⋮ An exercise in transformational programming: Backtracking and Branch-and- Bound

This page was built for publication: Toward the concept of backtracking computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848128)