Torthaí Cuardaigh - enumerating constrained programming programming problems a

1

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings /

Foilsithe 2014

Clár Ábhair: “... the Quorumcast Routing Problem as a Mixed Integer Program -- A New MIP Model for Parallel-Batch Scheduling...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Learning and Intelligent Optimization Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers /

Foilsithe 2008

Clár Ábhair: “... -- Learning from the Past to Dynamically Improve Search: A Case Study on the MOSP Problem -- Image...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... -- On Degree Constrained Shortest Paths -- A New Template for Solving p-Median Problems for Trees in Sub...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Theoretical Aspects of Computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings /

Foilsithe 2012

Clár Ábhair: “...Symbolically Bounding the Drift in Time-Constrained MSC Graphs -- A Compositional Hierarchical...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Implementation and Application of Automata 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers /

Foilsithe 2007

Clár Ábhair: “... Generate Automata -- A Finite-State Super-Chunker -- The Constrained Longest Common Subsequence Problem...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... Group Problems -- Canonical Decomposition of a Regular Factorial Language -- Acyclic Bidirected and Skew...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

le Spear, Chris., Spear, Chris.
Foilsithe 2008

Clár Ábhair: “... Constrained-Random Stimulus -- 1.7 What Should You Randomize? -- 1.8 Functional Coverage -- 1.9 Testbench...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

Implementation and Application of Automata 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers /

Foilsithe 2005

Clár Ábhair: “... -- On the Equivalence-Checking Problem for a Model of Programs Related With Multi-tape Automata -- Poster Papers...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... Programming for Some NP-Hard Graph Recoloring Problems -- A Linear-Time Algorithm for Finding All Door...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Discovery Science 13th International Conference, DS 2010, Canberra, Australia, October 6-8, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “... Diffusion in Social Networks -- Integer Linear Programming Models for Constrained Clustering -- Efficient...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

Computing and Combinatorics 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... Sequences -- Improved Algorithms for the Minmax Regret 1-Median Problem -- Partitioning a Multi-weighted...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “... Phylogenetic Forest Problem -- Seed-Based Exclusion Method for Non-coding RNA Gene Search -- A New Quartet...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng