Combining Forward and Backward Propagation
From MaRDI portal
Publication:2964470
DOI10.1007/978-3-319-24246-0_19zbMath1471.68044MaRDI QIDQ2964470
Slim Abdennadher, Thom Frühwirth, Amira Zaki
Publication date: 27 February 2017
Published in: Frontiers of Combining Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-24246-0_19
bidirectional search; constraint handling rules; forward/backward; source-to-source transformation; combined propagation
68N15: Theory of programming languages
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Cites Work