AAAI-2014. 28th AAAI Conference on Artificial Intelligence, Quebec City, Canada, Jul 2014.
ICML-2014. 31st International Conference on Machine Learning, Beijing, China, Jun 2014. To appear.
CPAIOR-2014. 11th International Conference on Integration of AI and OR Techniques in Constraint Programming, Cork, Ireland, May 2014. To appear.
NIPS-2013. 25th Annual Conference on Neural Information Processing Systems, pp 2085-2093, Lake Tahoe, CA, Dec 2013.
UAI-2013. 29th Conference on Uncertainty in Artificial Intelligence, pp 202-211, Bellevue, WA, Jul 2013.
Runner-up for Best Paper Award.
Facebook Best Student Paper Award.
ICML-2013. 30th International Conference on Machine Learning, pp 334-342, Atlanta, GA, Jun 2013.
IJCAI-2013. 23rd International Joint Conference on Artificial Intelligence, pp 608-614, Beijing, China, Aug 2013.
Basis of SAT Competition 2013 Winner in Open and Random tracks.
AAAI-2013. 27th AAAI Conference on Artificial Intelligence, pp 481-488, Bellevue, WA, Jul 2013.
AAAI-2013 [CompSustAI] . 27th AAAI Conference on Artificial Intelligence, pp 1369-1372, Bellevue, WA, Jul 2013.
SAT-2013. 16th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 7962, pp 422-248, Helsinki, Finland, Jul 2013. (tool presentation).
CPAIOR-2013. 10th International Conference on Integration of AI and OR Techniques in Constraint Programming, LNCS volume 7874, pp 1-11, Yorktown Heights, NY, May 2013.
LION 7. Learning and Intelligent OptimizatioN Conference, LNCS volume 7997, pp 153-167, Catania, Italy, Jan 2013.
Basis of SAT Challenge 2012 Best Interacting Multi-Engine Approach in Application track.
NIPS-2012. 24th Annual Conference on Neural Information Processing Systems, pp 2771-2779, Lake Tahoe, CA, Dec 2012.
CP-2012. 18th International Conference on Principles and Practice of Constraint Programming, LNCS volume 7514, pp 512-526, Quebec City, QC, Canada, Oct 2012.
SAT-2012. 15th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 7317, pp 463-468, Trento, Italy, Jun 2012. (tool paper).
SAT-2012. 15th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 7317, pp 498-499, Trento, Italy, Jun 2012. (short paper).
SAT-2012. 15th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 7317, pp 500-501, Trento, Italy, Jun 2012. (short paper).
NIPS-2011. 25th Annual Conference on Neural Information Processing Systems, pp 2744-2752, Granada, Spain, Dec 2011.
CP-2011. 17th International Conference on Principles and Practice of Constraint Programming, LNCS volume 6876, pp 454-469, Perugia, Italy, Sep 2011.
Basis of SAT Competition 2011 Winner in Crafted and Random categories (total 7 medals).
CP-2011. 17th International Conference on Principles and Practice of Constraint Programming, LNCS volume 6876, pp 508-522, Perugia, Italy, Sep 2011.
AAAI-11. 25th AAAI Conference on Artificial Intelligence, pp 48-53, San Francisco, CA, August 2011.
SAT-2011. 14th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 6695, pp 369-370, Ann Arbor, MI, June 2011.
CP-2010. 16th International Conference on Principles and Practice of Constraint Programming, LNCS volume 6308, pp 514-521, St Andrews, Scotland, Sep 2010.
SAT-2010. 13th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 6175, pp 346-351, Edinburgh, UK, July 2010.
UAI-2010. 26th Conference on Uncertainty in Artificial Intelligence, Avalon / Catalina Island, CA, pp 474-483, July 2010.
UAI-2010. 26th Conference on Uncertainty in Artificial Intelligence, Avalon / Catalina Island, CA, pp 517-526, July 2010.
ICAPS-2010. 29th International Conference on Automated Planning and Scheduling, pp 242-245, Toronto, Canada, June 2010.
IJCAI-09. 21st International Joint Conference on Artificial Intelligence, pp 544-551, Pasadena, CA, July 2009.
Also at the SoCS-09 symposium.
SAT-09. 12th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 5584, pp 447-452, Swansea, Wales, U.K., June 2009. (short paper).
SAT-09. 12th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 5584, pp 73-79, Swansea, Wales, U.K., June 2009. (short paper).
CPAIOR-09. 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, LNCS volume 5547, pp 56-70, Pittsburgh, PA, May 2009.
SAC-09. 24th Annual ACM Symposium on Applied Computing, pp 1408-1414, Honolulu, HI, Mar 2009.
NIPS-08. 22nd Annual Conference on Neural Information Processing Systems, pp 873-880, Vancouver, BC, Canada, Dec 2008.
CPAIOR-08. 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, LNCS volume 5015, pp 127-141, Paris, France, May 2008.
Also at the ISAIM-08 symposium.
CPAIOR-08. 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, LNCS volume 5015, pp 303-307, Paris, France, May 2008.
CPAIOR-08. 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, LNCS volume 5015, pp 382-386, Paris, France, May 2008.
Also at the ModRef-07 workshop.
CP-07. 13th International Conference on Principles and Practice of Constraint Programming, LNCS volume 4741, pp 256-270, Providence, RI, Sep 2007.
UAI-07. 23rd Conference on Uncertainty in Artificial Intelligence, pp 217-226, Vancouver, BC, Canada, July 2007.
Nominated for the UAI-07 Best Student Paper Award.
AAAI-07. 22nd Conference on Artificial Intelligence, pp 42-49, Vancouver, BC, Canada, July 2007.
Nominated for the AAAI-07 Best Paper Award.
AAAI-07. 22nd Conference on Artificial Intelligence, 204-209, Vancouver, BC, Canada, July 2007.
SAT-07. 10th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 4501, pp 100-106, Lisbon, Portugal, May 2007. (short paper).
CPAIOR-07. 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, LNCS volume 4510, pp 16-28, Brussels, Belgium, May 2007.
IJCAI-07. 20th International Joint Conference on Artificial Intelligence, pp 2293-2299, Hyderabad, India, Jan 2007.
Nominated for the IJCAI-07 Best Paper Award.
NIPS-06. 20th Annual Conference on Neural Information Processing Systems, pp 481-488, Vancouver, BC, Canada, Dec 2006.
CP-06. 12th International Conference on Principles and Practice of Constraint Programming, LNCS volume 4204, pp 620-634, Nantes, France, Sep 2006.
SAT-06. 9th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 4121, pp 382-395, Seattle, WA, Aug 2006.
AAAI-06. 21st National Conference on Artificial Intelligence, pp 54-61, Boston, MA, Jul 2006.
Outstanding Paper Award (two best paper awards out of nearly 800 submissions).
ICAPS-06. 16th International Conference on Automated Planning and Scheduling, pp 294-303, The English Lake District, UK, June 2006.
Nominated for the ICAPS-06 Best Paper Award.
AAAI-05. 20th National Conference on Artificial Intelligence, pp 467-474, Pittsburgh, PA, July 2005.
SAT-03. 6th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 2919, pp 242-256, Portofino, Italy, May 2003.
IJCAI-03. 18th International Joint Conference on Artificial Intelligence, pp 1194-1201, Acapulco, Mexico, August 2003.
FOCS-02. 43rd Annual Symposium on Foundations of Computer Science, pp 583-592, Vancouver, BC, Nov 2002.
CCC-01. 16th Annual Conference on Computational Complexity, pp 52-68, Chicago, IL, June 2001.
JEEM-2011. Journal of Environmental Economics and Management. To appear.
Also as TechReport-2010. Incorporating Economic and Ecological Information into the Optimal Design of Wildlife Corridors. Cornell University Technical Report, Computing and Information Science series, http://hdl.handle.net/1813/17053, August 2010.
ANOR-2011. Annals of Operations Research, volume 184, number 1, pp 209-231, 2011.
ALMOB-2010. Algorithms for Molecular Biology, volume 5, number 34, October 2010.
JAIR-09. Journal of Artificial Intelligence Research, volume 36, pp 415-469, Dec 2009.
JAIR-04. Journal of Artificial Intelligence Research, volume 22, pp 319-351, Dec 2004.
Runner-up for the IJCAI-JAIR 2003-2008 Best Paper Prize.
Constraints journal, volume 14, number 2, pp 273-292, June 2009.
Constraints journal, special issue on Symmetry, volume 14, number 4, pp 478-505, Dec 2009.
Computational Complexity journal, volume 16, number 3, pp 245-297, 2007.
SICOMP-04. SIAM Journal on Computing, volume 34, number 2, pp 261-276, Dec 2004.
COMGEO-10. Special issue of the journal Computation Geometry: Theory and Applications, volume 43, number 1, pp 23-34, Jan 2010.
Abstract in the 14th Annual Fall Workshop on Computational Geometry, Boston, MA, Nov 2004.
Preliminary version: Technical Report UW-CSE-2004-10-04, University of Washington, Seattle, Oct 2004.
AIJ-2011. Artificial Intelligence, Special Review Issue, Elsevier, volume 175, number 5-6, pp 935-937, Apr 2011.
Handbook of Satisfiability, IOS Press. Editors: Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh. Chapter 6, pp 185-203, 2009.
Handbook of Satisfiability, IOS Press. Editors: Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh. Chapter 20, pp 633-654, 2009.
Handbook of Satisfiability, IOS Press. Editors: Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh. Chapter 9, pp 271-288, 2009.
Handbook of Knowledge Representation, in the series Foundations of Artificial Intelligence, vol. 3. Editors: Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter. Elsevier, pp 89-134, 2008.
CSPSAT-2011 at SAT-2011. 1st International Workshop on the Cross-Fertilization Between CSP and SAT, Ann Arbor, MI, June 2011.
MCTS-2011. ICAPS 2011 Workshop on Monte-Carlo Tree Search: Theory and Applications, Freiburg, Germany, June 2011.
DISCML-2010. NIPS 2010 Workshop on Discrete Optimization in Machine Learning: Structures, Algorithms and Applications, Whistler, BC, Canada, Dec 2010.
INFORMS-2010. INFORMS Annual Meeting, Austin, TX, Nov 2010.
CROCS at CP-10. Third International Workshop on Constraint Reasoning and Optimization for Computational Sustainability, St Andrews, Scotland, Sep 2010.
CROCS at CPAIOR-10. Second International Workshop on Constraint Reasoning and Optimization for Computational Sustainability (in conjunction with CPAIOR-10 conference), Bologna, Italy, June 2010.
WARA-2010. AAAI-10 Workshop on Abstraction, Reformulation, and Approximation, Atlanta, GA, Jul 2010.
INFORMS-09. INFORMS Annual Meeting, San Diego, CA, Oct 2009.
CROCS-09. First International Workshop on Constraint Reasoning and Optimization for Computational Sustainability (in conjunction with CP-09 Conference), Lisbon, Portugal, Sep 2009.
SoCS-09. The 2009 International Symposium on Combinatorial Search, Lake Arrowhead, CA, July 2009.
CORS-INFORMS-09. CORS-INFORMS International Meeting, Toronto, ON, Canada, June 2009.
EURO-09. 23rd European Conference on Operational Research, Bonn, Germany, Jul 2009.
INFORMS-08. INFORMS Annual Meeting, Washington, DC, Oct 2008.
AAEA-08. American Agricultural Economics Association Annual Meeting, Orlando, FL, Jul 2008.
ISAIM-08. 10th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, FL, Jan 2008.
INFORMS-07. INFORMS Annual Meeting, Seattle, WA, Nov 2007.
ModRef-07 at CP-07. 6th International Workshop on Constraint Modelling and Reformulation, Providence, RI, Sep 2007. In conjunction with the CP-07 conference.
ISWC-07. 6th International Semantic Web Conference, Busan, Korea, Nov 2007.
AISP-07. Workshop on Algorithms, Inference, & Statistical Physics, Santa Fe, NM, May 2007.
NESCAI-07. 2nd North East Student Colloquium on Artificial Intelligence, Ithaca, NY, Apr 2007.
INFORMS-06. INFORMS Annual Meeting, Pittsburgh, PA, Nov 2006.
General Examination Report, University of Washington, Seattle, May 2002.
General Principles Workshop at CPAIOR-2013. Workshop on General Principles in Seeking Feasible Solutions for Combinatorial Problems, at CPAIOR-2013 Conference, Yorktown Heights, NY, May 2013.
AAAI-08. 23rd Conference on Artificial Intelligence, Tutorial Forum, Chicago, IL, July 2008.
Shorter version also at: LION 3, 2009. 3rd Conference on Learning and Intelligent Optimization, Tutorial Forum, Trento, Italy, Jan 2009.
For the course webpage for CSE 326, Data Structures, that I taught as a pre-doctoral instructor in Fall 2003 at the University of Washington, please click here.
Lectures by Paul Beame, scribed by Ashish Sabharwal.
IAS/PCMI Summer School, Princeton, NJ, Aug 2000.