Zobrazeno 1 - 10
of 43
pro vyhledávání: '"Garcia de la Banda, Maria"'
Publikováno v:
In Artificial Intelligence September 2021
Autor:
Senthooran, Ilankaikone, Klapperstueck, Matthias, Belov, Gleb, Czauderna, Tobias, Leo, Kevin, Wallace, Mark, Wybrow, Michael, Garcia de la Banda, Maria
Publikováno v:
Constraints: An International Journal; Jun2023, Vol. 28 Issue 2, p203-243, 41p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Stivala, Alex, Stuckey, Peter J., Garcia de la Banda, Maria, Hermenegildo, Manuel, Wirth, Anthony
Publikováno v:
In Journal of Parallel and Distributed Computing 2010 70(8):839-848
Autor:
Arafat, Yasir, Fenalti, Gustavo, Whisstock, James C., Mackay, Ian R., Garcia de la Banda, Maria, Rowley, Merrill J., Buckle, Ashley M.
Publikováno v:
In Molecular Immunology December 2009 47(2-3):493-505
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
A complete classification of redundant sets of inequalities in the specification of the Latin Square problem of any size is proven. Related issues on variations of the same problem are discussed. ispartof: CW Reports nrpages: 14 status: published
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::10e7ea67ebbd1eddd8b8670fb76b40a7
https://lirias.kuleuven.be/handle/123456789/388851
https://lirias.kuleuven.be/handle/123456789/388851
2x2-Sudoku (or ShiDoku) is a sized down variant of the usual 3x3-Sudoku puzzle. Its set of constraints contains 56 binary inequalities. It is proven that any largest redundant set of these binary inequalities has size 16. This is in line with a conje
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::2f940f379b09de81294c622cfabe06bc
http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW636.abs.html
http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW636.abs.html
Publikováno v:
Principles & Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings; 2016, p455-472, 18p
The HAL language includes a Herbrand constraint solver which uses Taylor's PARMA scheme rather than the standard WAM representation. This allows HAL to generate more efficient Mercury code. Unfortunately, PARMA's variable representation requires valu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::07e3080855af01cc58b3862a5d8f7688
https://lirias.kuleuven.be/handle/123456789/125013
https://lirias.kuleuven.be/handle/123456789/125013