☰

Bart Selman

Affiliations: 
Cornell University, Ithaca, NY, United States 
Area:
Computer Science
Google:
"Bart Selman"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Ioannis A. Vetsikas grad student 2005 Cornell
Lukas Kroc grad student 2009 Cornell
Raghuram Ramanujan grad student 2012 Cornell

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Ermon S, Xue Y, Gomes C, et al. (2013) Learning policies for battery usage optimization in electric vehicles Machine Learning. 92: 177-194
Previti A, Ramanujan R, Schaerf M, et al. (2011) Monte-Carlo style UCT search for boolean satisfiability Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6934: 177-188
Previti A, Ramanujan R, Schaerf M, et al. (2011) Applying UCT to Boolean satisfiability Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6695: 373-374
Ramanujan R, Selman B. (2011) Trade-offs in sampling-based adversarial planning Icaps 2011 - Proceedings of the 21st International Conference On Automated Planning and Scheduling. 202-209
Battiti R, Selman B, Stützle T. (2010) Special issue on learning and intelligent optimization Annals of Mathematics and Artificial Intelligence. 60: 1-2
Kroc L, Sabharwal A, Selman B. (2010) An empirical study of optimal noise and runtime distributions in local search Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6175: 346-351
Ramanujan R, Sabharwal A, Selman B. (2010) On adversarial search spaces and sampling-based planning Icaps 2010 - Proceedings of the 20th International Conference On Automated Planning and Scheduling. 242-245
Ramanujan R, Sabharwal A, Selman B. (2010) Understanding sampling style adversarial search methods Proceedings of the 26th Conference On Uncertainty in Artificial Intelligence, Uai 2010. 474-483
Kroc L, Sabharwal A, Selman B. (2010) Approximate inference for clusters in solution spaces Aaai Workshop - Technical Report. 38-41
Kroc L, Sabharwal A, Selman B. (2009) Message-passing and local heuristics as decimation strategies for satisfiability Proceedings of the Acm Symposium On Applied Computing. 1408-1414
See more...