E-LIB Suche - Ergebnisse für: McCreesh, Ciaran

1

Proof Logging for the Circuit Constraint:

, In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science,

McIlree, Matthew J. ; McCreesh, Ciaran ; Nordström, Jakob - p. 38-55 , 2024

Link: https://doi.org/10.1007/..

2

Finding Subgraphs with Side Constraints:

, In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science,

Akgün, Özgür ; Enright, Jessica ; Jefferson, Christopher... - p. 348-364 , 2021

Link: https://doi.org/10.1007/..

3

Certifying Solvers for Clique and Maximum Common (Connected..:

, In: Lecture Notes in Computer Science; Principles and Practice of Constraint Programming,

Gocht, Stephan ; McBride, Ross ; McCreesh, Ciaran... - p. 338-357 , 2020

Link: https://doi.org/10.1007/..

4

The Glasgow Subgraph Solver: Using Constraint Programming t..:

, In: Graph Transformation; Lecture Notes in Computer Science,

McCreesh, Ciaran ; Prosser, Patrick ; Trimble, James - p. 316-324 , 2020

Link: https://doi.org/10.1007/..

5

Understanding the Empirical Hardness of Random Optimisation..:

, In: Lecture Notes in Computer Science; Principles and Practice of Constraint Programming,

McCreesh, Ciaran ; Pettersson, William ; Prosser, Patrick - p. 333-349 , 2019

Link: https://doi.org/10.1007/..

6

Sequential and Parallel Solution-Biased Search for Subgraph..:

, In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science,

Archibald, Blair ; Dunlop, Fraser ; Hoffmann, Ruth... - p. 20-38 , 2019

Link: https://doi.org/10.1007/..

7

Solving the task variant allocation problem in distributed ..:

Cano, José ; White, David R. ; Bordallo, Alejandro...
Autonomous Robots. 42 (2018) 7 - p. 1477-1495 , 2018

Link: https://doi.org/10.1007/..

8

Replicable parallel branch and bound search:

Archibald, Blair ; Maier, Patrick ; McCreesh, Ciaran..
Journal of Parallel and Distributed Computing. 113 (2018) - p. 92-114 , 2018

Link: https://doi.org/10.1016/..

9

A review of literature on parallel constraint solving:

GENT, IAN P. ; MIGUEL, IAN ; NIGHTINGALE, PETER...
Theory and Practice of Logic Programming. 18 (2018) 5-6 - p. 725-758 , 2018

Link: https://doi.org/10.1017/..

10

The Shape of the Search Tree for the Maximum Clique Problem..:

McCreesh, Ciaran ; Prosser, Patrick
ACM Transactions on Parallel Computing (TOPC). 2 (2015) 1 - p. 1-27 , 2015

Link: https://dl.acm.org/doi/1..

11

The Shape of the Search Tree for the Maximum Clique Problem..:

McCreesh, Ciaran ; Prosser, Patrick
ACM Transactions on Parallel Computing. 2 (2015) 1 - p. 1-27 , 2015

Link: https://doi.org/10.1145/..

12

A parallel branch and bound algorithm for the maximum label..:

McCreesh, Ciaran ; Prosser, Patrick
Optimization Letters. 9 (2014) 5 - p. 949-960 , 2014

Link: https://doi.org/10.1007/..

13

Multi-Threading a State-of-the-Art Maximum Clique Algorithm:

McCreesh, Ciaran ; Prosser, Patrick
Algorithms. 6 (2013) 4 - p. 618-635 , 2013

Link: https://doi.org/10.3390/..

14

Certified dominance and symmetry breaking for combinatorial..:

Bogaerts, Bart ; Gocht, Stephan ; McCreesh, Ciaran.
https://eprints.gla.ac.uk/297131/1/297131.pdf. , 2023

Link: https://eprints.gla.ac.u..

15

Proof Logging for Smart Extensional Constraints:

McIlree, Matthew J ; Mccreesh, Ciaran
https://eprints.gla.ac.uk/302858/2/302858.pdf. , 2023

Link: https://eprints.gla.ac.u..