Author: "Lintao Zhang" / Journal: iccad - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Lintao Zhang"' showing total 3 results

Start Over Author "Lintao Zhang" Journal iccad

3 results on '"Lintao Zhang"'

1. Conflict driven learning in a quantified Boolean Satisfiability solver.

Author: Lintao Zhang and Sharad Malik
Published: 2002
Full Text: View/download PDF

2. Efficient Conflict Driven Learning in Boolean Satisfiability Solver.

Author: Lintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, and Sharad Malik
Published: 2001
Full Text: View/download PDF

3. Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs.

Author: Aarti Gupta, Zijiang Yang 0006, Pranav Ashar, Lintao Zhang, and Sharad Malik
Published: 2001
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results