Searching for "Solving Incremental Satisfiability." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Solving the Incremental Satisfiability Problem
by J.N. Hooker — 1992 — Journal of Logic Programming
…Solving the Incremental Satisfiability Problem J. N. Hooker Graduate School of Industrial…
Cited by 26 (6 self) – Add To MetaCart

On applying incremental satisfiability to delay fault testing
by Joonyoung Kim, Jesse Whittemore, João P. Marques-silva A, Karem Sakallah — 2000 — In Proc. of DATE 2000
…. Conclusions In this paper, we presented a method of solving incremental satisfiability problems (ISAT) which…
Cited by 7 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB