High-Level Nondeterministic Abstractions in

el Nondeterministic Abstractions in C++ Laurent Michel1 , Andrew See1 , and Pascal Van Hentenryck2 1 University of Connecticut, Storrs, CT 06269-2155 2 Brown University, Box 1910, Providence, RI 02912 Abstract. This paper presents high-level abstractions for nondeterministic search in C++ which provide the counterpart to advanced features found in recent constraint languages. The abstractions have several benefits: they explicitly highlight the nondeterministic nature of the code, provide a natural iterative style, simplify debugging, and are efficiently implementable using macros and continuations. Their efficiency is demonstrated by comparing their performance with the C++ library Gecode, both for programming search procedures and search engines.

• Type: Conference
• Year: 2006
• Where: CP
• Authors: Laurent Michel, Andrew See, Pascal Van Hentenryck
• Keywords: Artificial Intelligence, C++ Library Gecode, CP 2006, El Nondeterministic Abstractions, Nondeterministic Search