E-LIB Suche - Ergebnisse für: Miguel, Ian

1

A Graph Transformation-Based Engine for the Automated Explo..:

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

Stone, Christopher ; Salamon, András Z. ; Miguel, Ian - p. 223-238 , 2024

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

2

Automated streamliner portfolios for constraint satisfactio..:

Spracklen, Patrick ; Dang, Nguyen ; Akgün, Özgür.
Artificial Intelligence. 319 (2023) - p. 103915 , 2023

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

3

Towards optimisers that `Keep Learning':

, In: Proceedings of the Companion Conference on Genetic and Evolutionary Computation,

Hart, Emma ; Miguel, Ian ; Stone, Christopher. - p. 1636-1638 , 2023

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

4

Conjure: Automatic Generation of Constraint Models from Pro..:

Akgün, Özgür ; Frisch, Alan M. ; Gent, Ian P....
Artificial Intelligence. 310 (2022) - p. 103751 , 2022

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

5

Discriminating Instance Generation from Abstract Specificat..:

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

Akgün, Özgür ; Dang, Nguyen ; Miguel, Ian... - p. 41-51 , 2020

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

6

Automatic Streamlining for Constrained Optimisation:

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

Spracklen, Patrick ; Dang, Nguyen ; Akgün, Özgür. - p. 366-383 , 2019

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

7

Instance Generation via Generator Instances:

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

Akgün, Özgür ; Dang, Nguyen ; Miguel, Ian.. - p. 3-19 , 2019

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

8

Cloud Benchmarking for Maximising Performance of Scientific..:

Varghese, Blesson ; Akgun, Ozgur ; Miguel, Ian..
IEEE Transactions on Cloud Computing. 7 (2019) 1 - p. 170-182 , 2019

Link: https://doi.org/10.1109/..

9

Automatic Detection of At-Most-One and Exactly-One Relation..:

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

Ansótegui, Carlos ; Bofill, Miquel ; Coll, Jordi... - p. 20-36 , 2019

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

10

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/..

11

Automatic Discovery and Exploitation of Promising Subproble..:

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

Akgün, Özgür ; Gent, Ian P. ; Jefferson, Christopher... - p. 3-12 , 2018

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

12

Automatic Generation and Selection of Streamlined Constrain..:

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

Spracklen, Patrick ; Akgün, Özgür ; Miguel, Ian - p. 362-372 , 2018

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

13

Metamorphic Testing of Constraint Solvers:

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

Akgün, Özgür ; Gent, Ian P. ; Jefferson, Christopher.. - p. 727-736 , 2018

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

14

Automatically improving constraint models in Savile Row:

Nightingale, Peter ; Akgün, Özgür ; Gent, Ian P....
Artificial Intelligence. 251 (2017) - p. 35-61 , 2017

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

15

Qualitative modelling via constraint programming:

Kelsey, Thomas W. ; Kotthoff, Lars ; Jefferson, Christopher A....
Constraints. 19 (2014) 2 - p. 163-173 , 2014

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