Probabilistic state space search

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers

Volumn , Issue , 1999, Pages 574-579

  Kuehlmann, Andreas ^a   McMillan, Kenneth L ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; COMPUTER SIMULATION; INTEGRATED CIRCUIT TESTING; MARKOV PROCESSES; PROBABILITY; SHIFT REGISTERS;

PROBABILISTIC STATE SPACE SEARCH; RANDOM WALK MODEL; REACHABILITY PROBABILITY;

INTEGRATED CIRCUIT LAYOUT;

EID: 0033319788     PISSN: 10923152     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)