A. Darwiche Searching while Keeping a Trace The Evolution from SAT to Knowledge Compilation Adnan Darwiche Computer Science Department UCLA.
THE PATENT COOPERATION TREATY (PCT) Practical Considerations in Managing PCT Applications Geneva, November 26, 2008.