Maria Garcia De La Banda

Available identifiers

zbMath Open garcia-de-la-banda.mariaDBLPb/MariaJGarciadelaBandaWikidataQ50638373 ScholiaQ50638373MaRDI QIDQ265706

List of research outcomes

Publication	Date of Publication	Type
Human-centred feasibility restoration in practice	2023-09-15	Paper
Context-sensitive dynamic partial order reduction	2022-07-01	Paper
Independence in dynamically scheduled logic languages	2017-01-19	Paper
Visual search tree profiling	2016-04-12	Paper
Redundant disequalities in the Latin square problem	2015-06-15	Paper
Lightweight dynamic symmetry breaking	2015-04-29	Paper
A method for detecting symmetries in constraint models and its generalisation	2015-04-29	Paper
Symmetries, almost symmetries, and lazy clause generation	2015-04-29	Paper
Redundant Sudoku rules	2014-05-30	Paper
A CLP heap solver for test case generation	2014-02-27	Paper
Exploiting subproblem dominance in constraint programming	2012-09-27	Paper
Solving talent scheduling with dynamic programming	2012-07-28	Paper
Dynamic programming to minimize the maximum number of open stacks	2012-06-18	Paper
Lock-free parallel dynamic programming	2012-03-07	Paper
Automatically Exploiting Subproblem Equivalence in Constraint Programming	2010-06-22	Paper
On implementing symmetry detection	2009-11-16	Paper
The design of the zinc modelling language	2008-09-02	Paper
A Novel Approach For Detecting Symmetries in CSP Models	2008-05-27	Paper
Functional and Logic Programming	2007-09-25	Paper
Improving PARMA trailing	2007-02-13	Paper
Logic Programming	2006-06-27	Paper
Checking modes of HAL programs	2006-01-03	Paper
Program Development in Computational Logic	2005-12-23	Paper
Program Development in Computational Logic	2005-12-23	Paper
Optimizing compilation of constraint handling rules in HAL	2005-10-18	Paper
Logic Programming	2005-08-26	Paper
Logic Programming	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4809154	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4736505	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4736506	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4421873	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4409151	2003-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q2767146	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4495068	2001-05-06	Paper
Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism	1999-07-20	Paper
Differential methods in logic program analysis	1998-11-24	Paper
Exploiting goal independence in the analysis of logic programs	1998-03-16	Paper

Research outcomes over time

This page was built for person: Maria Garcia De La Banda