Zobrazeno 1 - 10
of 76 086
pro vyhledávání: '"All-SAT"'
Advancements in SAT solving algorithms with heuristics and more sophisticated inferring techniques have allowed a wide array of real world applications for SAT solvers to prosper. In this work, an All-SAT solver based on the DPLL algorithm has been d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1404::041823f6d649460298742353ba371bb3
https://ddd.uab.cat/record/272821
https://ddd.uab.cat/record/272821
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.
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.
Publikováno v:
Proceedings of the 55th Annual ACM Symposium on Theory of Computing.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9921fc0fca663212b81f468501bfd38e
https://doi.org/10.1145/3564246.3585123
https://doi.org/10.1145/3564246.3585123
Conference
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.
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.
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.
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.
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:
Larsson, Ann-Sofie, Ally, Rose
The aim of this study was to examine guidance counselors' experience of the transition to digital guidance counseling during the covid-19 pandemic. The guidance counselors attitude towards change, as well as contributing challenges are studied. Throu
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-206562