Author: "Sabharwal, Ashish" / Journal: constraints - 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 '"Sabharwal, Ashish"' showing total 3 results

Start Over Author "Sabharwal, Ashish" Journal constraints

3 results on '"Sabharwal, Ashish"'

1. SymChaff: Exploiting symmetry in a structure-aware satisfiability solver

Author: Sabharwal, Ashish
Published: 2009

2. New filtering algorithms for combinations of among constraints

Author: van Hoeve, Willem-Jan, Pesant, Gilles, Rousseau, Louis-Martin, and Sabharwal, Ashish
Published: 2009

3. SymChaff: exploiting symmetry in a structure-aware satisfiability solver

Author: Sabharwal, Ashish, primary
Published: 2008
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results