MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "ashish sabharwal" – sorted by Number of Citations

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

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

45 documents found, showing 1 through 10. Next 10 →

ATOM

Inferring Link Weights using End-to-End Measurements
by Ratul Mahajan, Neil Spring, David Wetherall, Tom Anderson — 2002 — In ACM SIGCOMM Internet Measurement Workshop
… for help with constraint solving, Ashish Sabharwal for help with reducing the number of constraints…
Cited by 51 (14 self) – Add To MetaCart

Spectral Partitioning of Random Graphs
by Frank McSherry, Frank M — 2001
… Karlin. The author would also like to thank Kaustubh Deshmukh, Ashish Sabharwal, and Pradeep Shenoy…
Cited by 39 (3 self) – Add To MetaCart

Towards understanding and harnessing the potential of clause learning
by Paul Beame, Henry Kautz, Ashish Sabharwal — 2004 — Journal of Artificial Intelligence Research
…@(email omitted); Henry Kautz kautz@(email omitted); Ashish Sabharwal ashish@(email omitted); Computer Science…
Cited by 34 (7 self) – Add To MetaCart

Model counting: A new strategy for obtaining good bounds
by Carla P. Gomes, Ashish Sabharwal, Bart Selman — 2006 — In: 21th AAAI
…Model Counting: A New Strategy for Obtaining Good Bounds Carla P. Gomes and Ashish Sabharwal…
Cited by 17 (10 self) – Add To MetaCart

Revisiting the sequence constraint
by Willem-jan Van Hoeve, Gilles Pesant, Louis-martin Rousseau, Ashish Sabharwal — 2006 — Twelfth International Conference on Principles and Practice of Constraint Programming (CP
…-Martin Rousseau 2,3,4 , and Ashish Sabharwal 1 1 Department of Computer Science, Cornell University, 4130 Upson…
Cited by 13 (1 self) – Add To MetaCart

Understanding the power of clause learning
by Paul Beame, Henry Kautz, Ashish Sabharwal — 2003 — In: Proceedings of the 18th International Joint Conference on Artificial Intelligence
…Understanding the Power of Clause Learning Paul Beame ∗ Henry Kautz ∗ Ashish Sabharwal ∗ Abstract…
Cited by 12 (4 self) – Add To MetaCart

From sampling to model counting
by Carla P. Gomes, Joerg Hoffmann, Ashish Sabharwal, Bart Selman — 2007 — In Proc. IJCAI’07
…From Sampling to Model Counting Carla P. Gomes † Joerg Hoffmann ‡ Ashish Sabharwal † Bart Selman…
Cited by 9 (5 self) – Add To MetaCart

SymChaff: A Structure-Aware Satisfiability Solver
by Ashish Sabharwal — 2005
…, American Association for Artificial Intelligence (www.aaai.org). All rights reserved. Ashish Sabharwal…
Cited by 9 (3 self) – Add To MetaCart

Using Problem Structure for Efficient Clause Learning
by Ashish Sabharwal, Paul Beame, Henry Kautz — 2003 — In Proceedings of the 6th International Conference on Theory and Applications of Satisfiability Testing
…Using Problem Structure for Efficient Clause Learning Ashish Sabharwal ⋆ , Paul Beame…
Cited by 5 (3 self) – Add To MetaCart

B.: Near-uniform sampling of combinatorial spaces using XOR constraints
by Carla P. Gomes, Ashish Sabharwal, Bart Selman — 2006 — In: 20th NIPS
…Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints Carla P. Gomes Ashish…
Cited by 5 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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