Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Conflict-driven Learning"'
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:
Fang, Lei
Due to the widespread demands for efficient Propositional Satisfiability (SAT) solvers and its derivatives in Electronic Design Automation applications, methods to boost the performance of the SAT solver are highly desired. This dissertation aims to
Externí odkaz:
http://hdl.handle.net/10919/27573
http://scholar.lib.vt.edu/theses/available/etd-05072008-220806/
http://scholar.lib.vt.edu/theses/available/etd-05072008-220806/
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:
Prabhu, Sarvesh P.
Symbolic execution-based test generation is gaining popularity for software test generation. The increasing complexity of the software program is posing new challenges in software execution-based test generation because of the path explosion problem.
Externí odkaz:
http://hdl.handle.net/10919/40931
http://scholar.lib.vt.edu/theses/available/etd-02062012-230655/
http://scholar.lib.vt.edu/theses/available/etd-02062012-230655/
Autor:
Moore, Neil C.A.
Backtracking CSP solvers provide a powerful framework for search and reasoning. The aim of constraint learning is increase global reasoning power by learning new constraints to boost reasoning and hopefully reduce search effort. In this thesis constr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______901::8bbe0d87acecef2982dea0e89e4c994a
https://hdl.handle.net/10023/2100
https://hdl.handle.net/10023/2100
Autor:
Moore, Neil C. A.
Backtracking CSP solvers provide a powerful framework for search and reasoning. The aim of constraint learning is increase global reasoning power by learning new constraints to boost reasoning and hopefully reduce search effort. In this thesis constr
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.552622
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.
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.
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.