Efficient Computation of Recurrence Diameters
- 16 December 2002
- book chapter
- Published by Springer Nature
- p. 298-309
- https://doi.org/10.1007/3-540-36384-x_24
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- SAT-based sequential depth computationPublished by Association for Computing Machinery (ACM) ,2003
- Liveness Checking as Safety CheckingElectronic Notes in Theoretical Computer Science, 2002
- Property Checking via Structural AnalysisPublished by Springer Nature ,2002
- Symbolic model checking using SAT procedures instead of BDDsPublished by Association for Computing Machinery (ACM) ,1999
- Symbolic Model Checking without BDDsPublished by Defense Technical Information Center (DTIC) ,1999
- An 0(n log n) sorting networkPublished by Association for Computing Machinery (ACM) ,1983
- Sorting networks and their applicationsPublished by Association for Computing Machinery (ACM) ,1968