|
Journals in DBLP
- Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe
A BMC-formulation for the scheduling problem in highly constrained hardware Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:4, pp:- [Journal]
- Niklas Eén, Niklas Sörensson
Temporal induction by incremental SAT solving. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:4, pp:- [Journal]
- Toni Jussila, Keijo Heljanko, Ilkka Niemelä
BMC via on-the-fly determinization. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:4, pp:- [Journal]
- Zurab Khasidashvili, Ziyad Hanna
SAT-based methods for sequential hardware equivalence verification without synchronization. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:4, pp:- [Journal]
- Bing Li, Chao Wang, Fabio Somenzi
A satisfiability-based approach to abstraction refinement in model checking. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:4, pp:- [Journal]
- P. Madhusudan, Wonhong Nam, Rajeev Alur
Symbolic computational techniques for solving games. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:4, pp:- [Journal]
|