×

zbMATH — the first resource for mathematics

Sabharwal, Ashish

Compute Distance To:
Author ID: sabharwal.ashish Recent zbMATH articles by "Sabharwal, Ashish"
Published as: Sabharwal, Ashish
Documents Indexed: 28 Publications since 2004

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 139 times in 116 Documents Cited by Year
Towards understanding and harnessing the potential of clause learning. Zbl 1080.68651
Beame, Paul; Kautz, Henry; Sabharwal, Ashish
49
2004
Revisiting the sequence constraint. Zbl 1160.68573
van Hoeve, Willem-Jan; Pesant, Gilles; Rousseau, Louis-Martin; Sabharwal, Ashish
15
2006
Model counting: a new stategy for obtaining good bounds. Zbl 1341.68202
Gomes, Carla P.; Sabharwal, Ashish; Selman, Bart
9
2011
Tradeoffs in the complexity of backdoor detection. Zbl 1145.68511
Dilkina, Bistra; Gomes, Carla P.; Sabharwal, Ashish
8
2007
The resolution complexity of independent sets and vertex covers in random graphs. Zbl 1137.68030
Beame, Paul; Impagliazzo, Russell; Sabharwal, Ashish
7
2007
QBF modeling: exploiting player symmetry for simplicity and efficiency. Zbl 1187.68264
Sabharwal, Ashish; Ansotegui, Carlos; Gomes, Carla P.; Hart, Justin W.; Selman, Bart
7
2006
Wildlife corridors as a connected subgraph problem. Zbl 1250.90119
Conrad, Jon M.; Gomes, Carla P.; van Hoeve, Willem-Jan; Sabharwal, Ashish; Suter, Jordan F.
6
2012
Short XORs for model counting: from theory to practice. Zbl 1214.68354
Gomes, Carla P.; Hoffmann, Joerg; Sabharwal, Ashish; Selman, Bart
6
2007
Backdoors to combinatorial optimization: feasibility and optimality. Zbl 1241.68099
Dilkina, Bistra; Gomes, Carla P.; Malitsky, Yuri; Sabharwal, Ashish; Sellmann, Meinolf
5
2009
Leveraging belief propagation, backtrack search, and statistics for model counting. Zbl 1142.68517
Kroc, Lukas; Sabharwal, Ashish; Selman, Bart
4
2008
SymChaff: Exploiting symmetry in a structure-aware satisfiability solver. Zbl 1186.68442
Sabharwal, Ashish
3
2009
New filtering algorithms for combinations of among constraints. Zbl 1186.68552
van Hoeve, Willem-Jan; Pesant, Gilles; Rousseau, Louis-Martin; Sabharwal, Ashish
3
2009
Backdoors in the context of learning. Zbl 1247.68250
Dilkina, Bistra; Gomes, Carla P.; Sabharwal, Ashish
3
2009
Parallel combinatorial optimization with decision diagrams. Zbl 1407.68446
Bergman, David; Cire, Andre A.; Sabharwal, Ashish; Samulowitz, Horst; Saraswat, Vijay; van Hoeve, Willem-Jan
2
2014
Leveraging belief propagation, backtrack search, and statistics for model counting. Zbl 1225.90108
Kroc, Lukas; Sabharwal, Ashish; Selman, Bart
2
2011
Friends or foes? On planning as satisfiability and abstract CNF encodings. Zbl 1188.68270
Domshlak, Carmel; Hoffmann, Jörg; Sabharwal, Ashish
2
2009
Connections in networks: hardness of feasibility versus optimality. Zbl 1214.90127
Conrad, Jon; Gomes, Carla P.; van Hoeve, Willem-Jan; Sabharwal, Ashish; Suter, Jordan
2
2007
BDD-guided clause generation. Zbl 06605758
Kell, Brian; Sabharwal, Ashish; Hoeve, Willem-Jan
1
2015
Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search. Zbl 1357.68205
Dilkina, Bistra; Gomes, Carla P.; Sabharwal, Ashish
1
2014
Stronger inference through implied literals from conflicts and knapsack covers. Zbl 1382.68218
Achterberg, Tobias; Sabharwal, Ashish; Samulowitz, Horst
1
2013
An empirical study of optimal noise and runtime distributions in local search. Zbl 1306.68163
Kroc, Lukas; Sabharwal, Ashish; Selman, Bart
1
2010
Floodlight illumination of infinite wedges. Zbl 1173.65310
Cary, Matthew; Rudra, Atri; Sabharwal, Ashish; Vee, Erik
1
2010
Using problem structure for efficient clause learning. Zbl 1204.68210
Sabharwal, Ashish; Beame, Paul; Kautz, Henry
1
2004
BDD-guided clause generation. Zbl 06605758
Kell, Brian; Sabharwal, Ashish; Hoeve, Willem-Jan
1
2015
Parallel combinatorial optimization with decision diagrams. Zbl 1407.68446
Bergman, David; Cire, Andre A.; Sabharwal, Ashish; Samulowitz, Horst; Saraswat, Vijay; van Hoeve, Willem-Jan
2
2014
Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search. Zbl 1357.68205
Dilkina, Bistra; Gomes, Carla P.; Sabharwal, Ashish
1
2014
Stronger inference through implied literals from conflicts and knapsack covers. Zbl 1382.68218
Achterberg, Tobias; Sabharwal, Ashish; Samulowitz, Horst
1
2013
Wildlife corridors as a connected subgraph problem. Zbl 1250.90119
Conrad, Jon M.; Gomes, Carla P.; van Hoeve, Willem-Jan; Sabharwal, Ashish; Suter, Jordan F.
6
2012
Model counting: a new stategy for obtaining good bounds. Zbl 1341.68202
Gomes, Carla P.; Sabharwal, Ashish; Selman, Bart
9
2011
Leveraging belief propagation, backtrack search, and statistics for model counting. Zbl 1225.90108
Kroc, Lukas; Sabharwal, Ashish; Selman, Bart
2
2011
An empirical study of optimal noise and runtime distributions in local search. Zbl 1306.68163
Kroc, Lukas; Sabharwal, Ashish; Selman, Bart
1
2010
Floodlight illumination of infinite wedges. Zbl 1173.65310
Cary, Matthew; Rudra, Atri; Sabharwal, Ashish; Vee, Erik
1
2010
Backdoors to combinatorial optimization: feasibility and optimality. Zbl 1241.68099
Dilkina, Bistra; Gomes, Carla P.; Malitsky, Yuri; Sabharwal, Ashish; Sellmann, Meinolf
5
2009
SymChaff: Exploiting symmetry in a structure-aware satisfiability solver. Zbl 1186.68442
Sabharwal, Ashish
3
2009
New filtering algorithms for combinations of among constraints. Zbl 1186.68552
van Hoeve, Willem-Jan; Pesant, Gilles; Rousseau, Louis-Martin; Sabharwal, Ashish
3
2009
Backdoors in the context of learning. Zbl 1247.68250
Dilkina, Bistra; Gomes, Carla P.; Sabharwal, Ashish
3
2009
Friends or foes? On planning as satisfiability and abstract CNF encodings. Zbl 1188.68270
Domshlak, Carmel; Hoffmann, Jörg; Sabharwal, Ashish
2
2009
Leveraging belief propagation, backtrack search, and statistics for model counting. Zbl 1142.68517
Kroc, Lukas; Sabharwal, Ashish; Selman, Bart
4
2008
Tradeoffs in the complexity of backdoor detection. Zbl 1145.68511
Dilkina, Bistra; Gomes, Carla P.; Sabharwal, Ashish
8
2007
The resolution complexity of independent sets and vertex covers in random graphs. Zbl 1137.68030
Beame, Paul; Impagliazzo, Russell; Sabharwal, Ashish
7
2007
Short XORs for model counting: from theory to practice. Zbl 1214.68354
Gomes, Carla P.; Hoffmann, Joerg; Sabharwal, Ashish; Selman, Bart
6
2007
Connections in networks: hardness of feasibility versus optimality. Zbl 1214.90127
Conrad, Jon; Gomes, Carla P.; van Hoeve, Willem-Jan; Sabharwal, Ashish; Suter, Jordan
2
2007
Revisiting the sequence constraint. Zbl 1160.68573
van Hoeve, Willem-Jan; Pesant, Gilles; Rousseau, Louis-Martin; Sabharwal, Ashish
15
2006
QBF modeling: exploiting player symmetry for simplicity and efficiency. Zbl 1187.68264
Sabharwal, Ashish; Ansotegui, Carlos; Gomes, Carla P.; Hart, Justin W.; Selman, Bart
7
2006
Towards understanding and harnessing the potential of clause learning. Zbl 1080.68651
Beame, Paul; Kautz, Henry; Sabharwal, Ashish
49
2004
Using problem structure for efficient clause learning. Zbl 1204.68210
Sabharwal, Ashish; Beame, Paul; Kautz, Henry
1
2004
all top 5

Cited by 240 Authors

6 Sabharwal, Ashish
6 Szeider, Stefan
4 Beyersdorff, Olaf
4 Gomes, Carla P.
4 Hooker, John N. jun.
4 Lauria, Massimo
3 Dilkina, Bistra
3 Ordyniak, Sebastian
3 Selman, Bart
2 Artigues, Christian
2 Biere, Armin
2 Buss, Samuel R.
2 Ciré, André Augusto
2 Dechter, Rina
2 Fichte, Johannes Klaus
2 Fischetti, Matteo
2 Galesi, Nicola
2 Gaspers, Serge
2 Gogate, Vibhav
2 Gutin, Gregory Z.
2 Huguet, Marie-José
2 Jafari, Nahid
2 Junttila, Tommi A.
2 Kim, Eun Jung
2 Krajíček, Jan
2 Kullmann, Oliver
2 Meel, Kuldeep S.
2 Monaci, Michele
2 Nightingale, Peter W.
2 Pesant, Gilles
2 Philipp, Tobias
2 Rousseau, Louis-Martin
2 Ryvchin, Vadim
2 Seidl, Martina
2 Soleimanfallah, Arezou
2 Traxler, Patrick
2 Van Gelder, Allen
2 van Hoeve, Willem-Jan
2 Vardi, Moshe Y.
2 Wang, Jinyan
2 Wu, Jingli
2 Yeo, Anders
2 Yin, Minghao
1 Achlioptas, Dimitris
1 Ahmadi, Babak
1 Ahmed, Tanbir
1 Akgün, Özgür
1 Argelich, Josep
1 Atserias, Albert
1 Audemard, Gilles
1 Bacchus, Fahiem
1 Beame, Paul W.
1 Beck, Chris
1 Béjar, Ramón
1 Bereg, Sergey N.
1 Bergman, David J.
1 Billionnet, Alain
1 Blinkhorn, Joshua
1 Bogaerts, Bart
1 Boulanger, Vincent
1 Bruciamacchie, Max
1 Bruynooghe, Maurice
1 Bubeck, Uwe
1 Cai, Shaowei
1 Carvalho, Alda
1 Cavagnetto, Stefano
1 Chauchard, Sandrine
1 Cheng, Kenil C. K.
1 Chew, Leroy
1 Connamacher, Harold S.
1 Crato, Nuno
1 Cung, Van-Dat
1 Darwiche, Adnan
1 De Oliveira Oliveira, Mateus
1 Denecker, Marc
1 Dershowitz, Nachum
1 Devriendt, Jo
1 Díaz-Báñez, Jose Miguel
1 Díaz, Mateo
1 Dissanayake, Sahan T. M.
1 Domshlak, Carmel
1 Dragicevic, Arnaud Z.
1 Dupouey, Jean-Luc
1 Egly, Uwe
1 Eiben, Eduard
1 Elffers, Jan
1 Epstein, Susan L.
1 Fernández, César C.
1 Fort, Margherita
1 Fröhlich, Andreas M.
1 Gamarnik, David
1 Gange, Graeme
1 Ganian, Robert
1 Gao, Yong
1 Gebser, Martin
1 Gendreau, Michel
1 Gent, Ian Philip
1 Goultiaeva, Alexandra
1 Gu, Ming
1 He, Fei
...and 140 more Authors

Citations by Year