58 results on '"Mishchenko, Alan"'
Search Results
2. Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver
3. 2QBF: Challenges and Solutions
4. Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT
5. Automated Synthesis of Protocol Converters with BALM-II
6. Introduction to Zero-Suppressed Decision Diagrams
7. The Unknown Component Problem
8. Fundamental Operations in BALM
9. Synopsis
10. Testing
11. Synthesis of Strategies for Games
12. Equations Over ω-Automata
13. Implementation of Automata Manipulations
14. Exploitation of Flexibility in Sequential Networks
15. The Software Package BALM
16. Extending BALM to Synchronous Equations Over co-Büchi Specifications
17. A Survey of Relevant Literature
18. Equations Over Finite State Machines
19. Computation of Flexibility in Sequential Networks
20. Language Solving Using Simulation Relations
21. Supervisory Control
22. Manipulations of FSMs Represented as Sequential Circuits
23. Computation of Sequential Flexibility in Netlists by Windowing
24. Equations Over Languages and Finite Automata
25. Conclusions and Open Problems
26. Computation of Sequential Flexibility in Networks of FSMs by Windowing
27. Boolean Factoring and Decomposition of Logic Networks
28. Sequential Logic Synthesis Using Symbolic Bi-decomposition
29. ABC: An Academic Industrial-Strength Verification Tool
30. 2QBF: Challenges and Solutions.
31. Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT.
32. Applying Logic Synthesis for Speeding Up SAT
33. Automated Synthesis of Protocol Converters with BALM-II.
34. Exploitation of Flexibility in Sequential Networks.
35. Language Solving Using Simulation Relations.
36. BackMatter.
37. Extending BALM to Synchronous Equations Over co-Büchi Specifications.
38. Synthesis of Strategies for Games.
39. Testing.
40. Supervisory Control.
41. The Software Package BALM.
42. Computation of Sequential Flexibility in Netlists by Windowing.
43. Computation of Flexibility in Sequential Networks.
44. Computation of Sequential Flexibility in Networks of FSMs by Windowing.
45. Fundamental Operations in BALM.
46. Implementation of Automata Manipulations.
47. Manipulations of FSMs Represented as Sequential Circuits.
48. A Survey of Relevant Literature.
49. Equations Over Finite State Machines.
50. Synopsis.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.