Author of the publication

A Complete Multi-valued SAT Solver.

, , and . CP, volume 6308 of Lecture Notes in Computer Science, page 281-296. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name O'Mahony, Eoin
add a person with the name O'Mahony, Eoin
 

Other publications of authors with the same name

Data Analysis and Optimization for (Citi)Bike Sharing., and . AAAI, page 687-694. AAAI Press, (2015)Hybrid Methods for the Multileaf Collimator Sequencing Problem., , and . CPAIOR, volume 6140 of Lecture Notes in Computer Science, page 56-70. Springer, (2010)Constraint Programming and Combinatorial Optimisation in Numberjack., , and . CPAIOR, volume 6140 of Lecture Notes in Computer Science, page 181-185. Springer, (2010)Incorporating Variance in Impact-Based Search., , , and . CP, volume 6876 of Lecture Notes in Computer Science, page 470-477. Springer, (2011)A Shortest Path-Based Approach to the Multileaf Collimator Sequencing Problem., , and . CPAIOR, volume 5547 of Lecture Notes in Computer Science, page 41-55. Springer, (2009)Fast and Scalable Domino Portrait Generation., , , and . CPAIOR, volume 5015 of Lecture Notes in Computer Science, page 51-65. Springer, (2008)A Hybrid Approach to Domino Portrait Generation., , , and . AAAI, page 1874-1875. AAAI Press, (2008)Enhanced Inference for the Market Split Problem., , , and . ICTAI, page 716-723. IEEE Computer Society, (2009)Analytics and Bikes: Riding Tandem with Motivate to Improve Mobility., , , and . Interfaces, 49 (5): 310-323 (2019)Predicting Bike Usage for New York City's Bike Sharing System., , , , , , and . AAAI Workshop: Computational Sustainability, volume WS-15-06 of AAAI Technical Report, AAAI Press, (2015)