CS Structure

About CS Structure | Search | Help  

 

  • distributed system; shared memory; operating system; real-time system ( Subthemes )
  •          model checking; petri nets; hybrid system; timed automata ( Subthemes )
  •                  decision diagram; model checking; binary decision; symbolic model ( Subthemes )
  •                          decision diagram; binary decision; bdd minimization; branching program ( Subthemes )
  • GRAPH-BASED ALGORITHMS FOR BOOLEAN FUNCTION MANIPULATION  
    By Randal E. Bryant
    Date  June 2000
    Refs | Theme tree | Cited by 1404 CiteSeer

    Reference List: key=311874
     

    Reference List:

    Reference Tree

    1) -NOT IN CITESEER  
    By
    Date 
    Refs | Theme tree | Cited by 99 |  This paper is cited in the following contexts   (Authority and Hub Reference)

    2) -NOT IN CITESEER  
    By
    Date 
    Refs | Theme tree | Cited by 50 |  This paper is cited in the following contexts   (Hub Reference)

    3) THE DESIGN AND ANALYSIS OF COMPUTER ALGORITHMS - AHO, HOPCROFT, ULLMAN  
    By
    Date 
    Refs | Theme tree | Cited by 1209 |  This paper is cited in the following contexts   (Hub Reference)

    4) -NOT IN CITESEER  
    By
    Date 
    Refs | Theme tree | Cited by 127 |  This paper is cited in the following contexts   (Hub Reference)