finally, if w2 is assigned (i.e., w2 simplified the term) then check the existential literals to see if there exists la such that la ... both versions featured chronological backtracking so that no advantage for fast exploration of large constraints sets isanbsp;...

Title | : | Formal Methods in Computer-Aided Design |

Author | : | Alan J. Hu, Andrew K. Martin |

Publisher | : | Springer - 2005-01-18 |

Continue