Zobrazeno 1 - 10
of 10
pro vyhledávání: '"H. N. Phan"'
Publikováno v:
THE BULLETIN. 3:140-150
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b26ca101fc7e193ce3aa5923748cf016
https://doi.org/10.32014/2020.2518-1467.80
https://doi.org/10.32014/2020.2518-1467.80
Publikováno v:
Theory and Applications of Satisfiability Testing – SAT 2021 ISBN: 9783030802226
SAT
SAT
Recent work in weighted model counting proposed a unifying framework for dynamic-programming algorithms. The core of this framework is a project-join tree: an execution plan that specifies how Boolean variables are eliminated. We adapt this framework
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::334513e9ee97edede73f590446911047
https://doi.org/10.1007/978-3-030-80223-3_11
https://doi.org/10.1007/978-3-030-80223-3_11
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030584740
CP
CP
We propose a unifying dynamic-programming framework to compute exact literal-weighted model counts of formulas in conjunctive normal form. At the center of our framework are project-join trees, which specify efficient project-join orders to apply add
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac18978e9633e88f12f8aed18d323d77
https://doi.org/10.1007/978-3-030-58475-7_13
https://doi.org/10.1007/978-3-030-58475-7_13
Publikováno v:
AAAI
We present an algorithm to compute exact literal-weighted model counts of Boolean formulas in Conjunctive Normal Form. Our algorithm employs dynamic programming and uses Algebraic Decision Diagrams as the primary data structure. We implement this tec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e9a878ece6447c9d1de38a8ed0756126
http://arxiv.org/abs/1907.05000
http://arxiv.org/abs/1907.05000
Publikováno v:
SECOND INTERNATIONAL CONFERENCE ON MATERIAL SCIENCE, SMART STRUCTURES AND APPLICATIONS: ICMSS-2019.
In the paper, it is presented about the design of the quasi-time optimal control law for Ball and Beam system when the control signal is limited. Impact signal limits are characteristic of real physical systems, so when designing embedded control sys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3561fedcc7715df281370def0104678a
https://doi.org/10.1063/1.5138400
https://doi.org/10.1063/1.5138400
Publikováno v:
SECOND INTERNATIONAL CONFERENCE ON MATERIAL SCIENCE, SMART STRUCTURES AND APPLICATIONS: ICMSS-2019.
In the paper, the model and method of synthesizing quasi-time optimal control laws for Two Degree of Freedom (2-DOF) Robotic Arms are presented. 2-DOF Robotic Arms is a non-linear MIMO System with large nonlinear characteristics and uncertain paramet
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c6b5ea3b8c593d8c596529800d8aab7d
https://doi.org/10.1063/1.5138402
https://doi.org/10.1063/1.5138402
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:
Vu H. N. Phan
Publikováno v:
EasyChair Preprints.
We study syntactic conditions which guarantee when a CR-Prolog (Consistency Restoring Prolog) program has antichain property: no answer set is a proper subset of another. A notable such condition is that the program's dependency graph being acyclic a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fbf8bf0649d913a65dbe2ac7e51695ce
https://doi.org/10.29007/rjb2
https://doi.org/10.29007/rjb2
Kniha
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.
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.