The following pages link to Maria Garcia De La Banda (Q265706):
Displaying 40 items.
- Visual search tree profiling (Q265707) (← links)
- Exploiting subproblem dominance in constraint programming (Q453591) (← links)
- (Q666189) (redirect page) (← links)
- Lock-free parallel dynamic programming (Q666192) (← links)
- The design of the zinc modelling language (Q941812) (← links)
- (Q1037635) (redirect page) (← links)
- On implementing symmetry detection (Q1037637) (← links)
- (Q2151267) (redirect page) (← links)
- Context-sensitive dynamic partial order reduction (Q2151268) (← links)
- Lightweight dynamic symmetry breaking (Q2342593) (← links)
- Symmetries, almost symmetries, and lazy clause generation (Q2342601) (← links)
- A method for detecting symmetries in constraint models and its generalisation (Q2342650) (← links)
- Redundant disequalities in the Latin square problem (Q2348538) (← links)
- (Q2767146) (← links)
- Dynamic programming to minimize the maximum number of open stacks (Q2892372) (← links)
- Solving talent scheduling with dynamic programming (Q2899107) (← links)
- Independence in dynamically scheduled logic languages (Q2956712) (← links)
- Improving PARMA trailing (Q3422415) (← links)
- Automatically Exploiting Subproblem Equivalence in Constraint Programming (Q3569921) (← links)
- Differential methods in logic program analysis (Q4208853) (← links)
- Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism (Q4245928) (← links)
- Exploiting goal independence in the analysis of logic programs (Q4365084) (← links)
- (Q4409151) (← links)
- (Q4421873) (← links)
- (Q4495068) (← links)
- (Q4736505) (← links)
- (Q4736506) (← links)
- (Q4809154) (← links)
- Functional and Logic Programming (Q5308017) (← links)
- Logic Programming (Q5313213) (← links)
- Logic Programming (Q5313214) (← links)
- A Novel Approach For Detecting Symmetries in CSP Models (Q5387629) (← links)
- A CLP heap solver for test case generation (Q5398307) (← links)
- Redundant Sudoku rules (Q5418948) (← links)
- Logic Programming (Q5475765) (← links)
- Optimizing compilation of constraint handling rules in HAL (Q5696595) (← links)
- Program Development in Computational Logic (Q5712542) (← links)
- Program Development in Computational Logic (Q5712549) (← links)
- Checking modes of HAL programs (Q5715448) (← links)
- Human-centred feasibility restoration in practice (Q6049434) (← links)
