I used to like sat research; I think I skimmed through about three thousand articles and read about ten percent of that.
3/5/09
Satisfiability & Verification
The field is getting mature: a new book 'Satisfiability & Verification' by Marc Herbstritt which I should buy.
I used to like sat research; I think I skimmed through about three thousand articles and read about ten percent of that.
I used to like sat research; I think I skimmed through about three thousand articles and read about ten percent of that.
