Publication:5435012
From MaRDI portal
zbMath1151.90525MaRDI QIDQ5435012
S. Armagan Tarim, Barbara M. Smith, Tom Kelsey, Inês Lynce, Chris Jefferson, Peter W. Nightingale, Ian Miguel, Ian Philip Gent
Publication date: 14 January 2008
Related Items
Implementing logical connectives in constraint programming, The complexity of solitaire, Auto-tabling for subproblem presolving in MiniZinc, A new branch-and-filter exact algorithm for binary constraint satisfaction problems, Compiling CP subproblems to MDDs and d-DNNFs, Symmetries, almost symmetries, and lazy clause generation
Uses Software