Simulation Result

• Davis-Putnam : the number of nodes (do not include unit resolutions)

  • computation for each node:O(n)

• Parallel-checking : the number of generated states (include unit resolutions)

  • computation for each node: one clock

Prev

Next

Top

With Graphics