Ciaran McCreesh
University of Glasgow
H-index: 18
Europe-United Kingdom
Top articles of Ciaran McCreesh
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Proof Logging for the Circuit Constraint | Matthew J McIlree Ciaran Mccreesh Jakob Nordström | 2024/2/2 | |
End-to-End Verification for Subgraph Solving | Stephan Gocht Ciaran McCreesh Magnus O Myreen Jakob Nordström Andy Oertel | 2024 | |
Proof Logging for Smart Extensional Constraints | Matthew J McIlree Ciaran McCreesh | 2023 | |
Certified dominance and symmetry breaking for combinatorial optimisation | Journal of Artificial Intelligence Research | Bart Bogaerts Stephan Gocht Ciaran McCreesh Jakob Nordström | 2023/8/14 |
Documentation of V PB and C PB for the SAT Competition 2023 | Bart Bogaerts Ciaran McCreesh Magnus O Myreen Jakob Nordström Andy Oertel | 2023/3/1 | |
Certified symmetry and dominance breaking for combinatorial optimisation | Proceedings of the AAAI Conference on Artificial Intelligence | Bart Bogaerts Stephan Gocht Ciaran McCreesh Jakob Nordström | 2022/6/28 |
An auditable constraint programming solver | Stephan Gocht Ciaran McCreesh Jakob Nordström | 2022 | |
Subgraph isomorphism meets cutting planes: Solving with certified solutions | Stephan Gocht Ciaran McCreesh Jakob Nordström | 2021/1/7 | |
Practical bigraphs via subgraph isomorphism | Blair Archibald Kyle Burns Ciaran McCreesh Michele Sevegnani | 2021 | |
Solving graph homomorphism and subgraph isomorphism problems faster through clique neighbourhood constraints | Sonja Kraiczy Ciaran McCreesh | 2021 | |
Complications for computational experiments from modern processors | Johannes K Fichte Markus Hecher Ciaran McCreesh Anas Shahab | 2021 | |
Finding subgraphs with side constraints | Özgür Akgün Jessica Enright Christopher Jefferson Ciaran McCreesh Patrick Prosser | 2021/6/17 | |
The Glasgow subgraph solver: using constraint programming to tackle hard subgraph isomorphism problem variants | Ciaran McCreesh Patrick Prosser James Trimble | 2020/6/23 | |
Justifying all differences using pseudo-Boolean reasoning | Proceedings of the AAAI Conference on Artificial Intelligence | Jan Elffers Stephan Gocht Ciaran McCreesh | 2020/4/3 |
Certifying solvers for clique and maximum common (connected) subgraph problems | Stephan Gocht Ross McBride Ciaran McCreesh Jakob Nordström Patrick Prosser | 2020/9/2 | |
VeriPB: The easy way to make your combinatorial search algorithm trustworthy | workshop From Constraint Programming to Trustworthy AI at the 26th International Conference on Principles and Practice of Constraint Programming (CP’20). Paper available at http://www. cs. ucc. ie/bg6/cptai/2020/papers/CPTAI_2020_paper_2. pdf | Stephan Gocht Ciaran McCreesh Jakob Nordström | 2020/9 |