Maria Garcia de la Banda

Available identifiers

zbMath Open garcia-de-la-banda.mariaWikidataQ50638373 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
Symmetries, almost symmetries, and lazy clause generation	2015-04-29	Paper
A method for detecting symmetries in constraint models and its generalisation	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Maria Garcia de la Banda