The following pages link to Philippe Codognet (Q1294042):
Displayed 23 items.
- Constraint retraction in CLP(FD): Formal framework and performance results (Q1294043) (← links)
- A simple and efficient Boolean solver for constraint logic programming (Q1357667) (← links)
- (Q1769674) (redirect page) (← links)
- Musical constraint satisfaction problems solved with adaptive search (Q1769675) (← links)
- Modeling the Costas array problem in QUBO for quantum annealing (Q2163794) (← links)
- Large-scale parallelism for constraint-based local search: the costas array case study (Q2342606) (← links)
- The virtuality of constraints and the constraints of virtuality (Q2348609) (← links)
- Abstracting soft constraints: framework, properties, examples (Q2676586) (← links)
- On the implementation of<tt>GNU Prolog</tt> (Q2893102) (← links)
- Compiling constraints in clp(FD) (Q3129502) (← links)
- Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture (Q3163570) (← links)
- Solving finite domain constraint hierarchies by local consistency and tree search (Q3401378) (← links)
- (Q3759966) (← links)
- (Q3830507) (← links)
- (Q4410973) (← links)
- (Q4413056) (← links)
- (Q4417958) (← links)
- (Q4444440) (← links)
- (Q4536717) (← links)
- (Q4739600) (← links)
- Path consistency in clp(FD) (Q5096309) (← links)
- Using sequential runtime distributions for the parallel speedup prediction of SAT local search (Q5398300) (← links)
- Principles and Practice of Constraint Programming – CP 2003 (Q5897195) (← links)