Zobrazeno 1 - 10 of 124 pro vyhledávání: '"Hamadi, Y."'
1
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.
2
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.
3
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.
4
Stochastic Local Search for Satisfiability Modulo Theories
Autor: Frohlich, A., Armin Biere, Wintersteiger, C. M., Hamadi, Y.
Publikováno v: Scopus-Elsevier
Satisfiability Modulo Theories (SMT) is essential for many practical applications, e.g., in hard- and software verification, and increasingly also in other scientific areas like computational biology. A large number of applications in these areas ben
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::11902905d2e2b0bbe69edef4afbefe9f
https://doi.org/10.1609/aaai.v29i1.9372
Zobrazit plný text záznamu
6
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.
7
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
8
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.
9
Conference
A Parallel Solving Algorithm for Quantified Constraints Problems.
Autor: Vautard, J., Lallouet, A., Hamadi, Y.
Publikováno v: 2010 22nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI); 2010, p271-274, 4p
Zobrazit plný text záznamu
10
Conference
Continuous Search in Constraint Programming.
Autor: Arbelaez, A., Hamadi, Y., Sebag, M.
Publikováno v: 2010 22nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI); 2010, p53-60, 8p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje