IRUS-ANZ has moved. From January 2022, new monthly statistics will only be added to the IRUS R5 service. This site is archived. All statistics up to December 2021 will remain available on this site.
| Author | Identifier | Number of Items | Total Downloads |
|---|---|---|---|
| Stuckey, P |  https://orcid.org/0000-0003-2186-0459 |
16 | 123 |
| Title | Author(s) | IrusType | Repository | Item URL | Total Downloads |
|---|---|---|---|---|---|
| A theory of overloading | orcid:0000-0003-2186-0459; Stuckey, PJ; Sulzmann, M | Article | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/31708 | 1 |
| Analyzing Array Manipulating Programs by Program Transformation | orcid:0000-0002-1354-431X; orcid:0000-0001-5959-3769; orcid:0000-0002-2352-1883; orcid:0000-0003-2186-0459; Cornish, JRM; Gange, G; Navas, JA; Schachte, P; Sondergaard, H; Stuckey, PJ | Conference Proceedings | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/54766 | 46 |
| Cache Conscious Data Structures for Boolean Satisfiability Solvers | orcid:0000-0002-4183-8462; orcid:0000-0003-2186-0459; CHU, GG; HARWOOD, A; STUCKEY, P | Article | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/26737 | 5 |
| Confidence-Based Work Stealing in Parallel Constraint Programming | orcid:0000-0003-2186-0459; Chu, G; Schulte, C; Stuckey, PJ | Conference Proceedings | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/26742 | 2 |
| Dynamic analysis of bounds versus domain propagation | orcid:0000-0003-2186-0459; Schulte, C; Stuckey, PJ | Conference Proceedings | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/29360 | 4 |
| HM(X) type inference is CLP(X) solving | orcid:0000-0003-2186-0459; Sulzmann, M; Stuckey, PJ | Article | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/29394 | 2 |
| Incremental connector routing | orcid:0000-0001-5536-7780; orcid:0000-0003-2186-0459; Wybrow, M; Marriott, K; Stuckey, PJ | Conference Proceedings | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/29357 | 1 |
| Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss | orcid:0000-0001-5959-3769; orcid:0000-0002-2352-1883; orcid:0000-0003-2186-0459; Gange, G; Navas, JA; Schachte, P; Sondergaard, H; Stuckey, PJ | Article | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/54784 | 3 |
| Minimizing the Maximum Number of Open Stacks by Customer Search | orcid:0000-0003-2186-0459; Chu, G; Stuckey, PJ | Conference Proceedings | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/26739 | 3 |
| MUSTANG: A multiple structural alignment algorithm | orcid:0000-0002-1610-8329; orcid:0000-0003-4200-5611; orcid:0000-0003-2186-0459; orcid:0000-0002-2596-0601; Konagurthu, AS; Whisstock, JC; Stuckey, PJ; Lesk, AM | Article | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/29336 | 3 |
| Optimizing compilation of CHR with rule priorities | orcid:0000-0003-2186-0459; De Koninck, L; Stuckey, PJ; Duck, GJ | Conference Proceedings | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/31928 | 1 |
| Practical preference relations for large data sets | orcid:0000-0003-2186-0459; Ross, KA; Stuckey, PJ; Marian, A | Conference Proceedings | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/30032 | 40 |
| Propagating Dense Systems of Integer Linear Equations | orcid:0000-0003-2186-0459; Feydy, T; Stuckey, PJ | Conference Proceedings | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/31916 | 3 |
| Smooth Linear Approximation of Non-overlap Constraints | orcid:0000-0003-2186-0459; Gange, G; Marriott, K; Stuckey, PJ | Conference Proceedings | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/31653 | 2 |
| Solving partial order constraints for LPO termination | orcid:0000-0003-0394-5854; orcid:0000-0003-2186-0459; Codish, M; Lagoon, V; Stuckey, PJ | Conference Proceedings | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/31639 | 4 |
| Using Relaxations in Maximum Density Still Life | orcid:0000-0003-2186-0459; Chu, G; Stuckey, PJ; de la Banda, MG | Conference Proceedings | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/26740 | 3 |
