The Cardinality of Identifying Code Sets for Soccer Ball Graph with Application to Remote Sensing (preprint)
Anna Latour, Arunabha Sen, Kaustav Basu, Chenyang Zhou, Kuldeep Meel
In arXiv, 2024.
pdf, code, bib
PUBLICATIONS
You can also find my publications on my Google Scholar profile.
SharpVelvet
Anna Latour, Mate Soos
In github, 2024.
code, bib
Solving the Identifying Code Set Problem with Grouped Independent Support (extended abstract)
Anna Latour, Arunabha Sen, Kuldeep Meel
In The 22nd workshop on Constraint Modelling and Reformulation (ModRef 2023), in conjunction with CP 2023, 2023.
pdf, slides, video, bib
Solving the Identifying Code Set Problem with Grouped Independent Support
Anna Latour, Arunabha Sen, Kuldeep Meel
In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, 2023.
pdf, extended version, slides, poster, video, code, blog, bib
Optimal decision-making under constraints and uncertainty (dissertation)
Anna Latour
In Leiden University, 2022.
pdf, bib
Stochastic Constraint Optimisation with Applications in Network Analysis (extended abstract)
Anna Latour, Behrouz Babaki, Daniël Fokkinga, Marie Anastacio, Holger Hoos, Siegfried Nijssen
In Workshop on Counting and Sampling 2022, in conjunction with FLoC 2022 and SAT 2022, 2022.
slides, bib
Exact stochastic constraint optimisation with applications in network analysis
Anna Latour, Behrouz Babaki, Daniël Fokkinga, Marie Anastacio, Holger Hoos, Siegfried Nijssen
In Artificial Intelligence, 2022.
pdf, bib
Caching in Model Counters: A Journey through Space and Time (extended abstract)
Jeroen Rook, Anna Latour, Siegfried Nijssen, Holger Hoos
In Workshop on Counting and Sampling, held in conjunction with SAT 2021, 2021.
pdf, slides, video, bib
Stochastic Constraint Optimisation with Applications in Network Analysis (extended abstract)
Anna Latour, Behrouz Babaki, Daniël Fokkinga, Marie Anastacio, Holger Hoos, Siegfried Nijssen
In International Workshop on Model Counting (MCW), held in conjunction with SAT 2020, 2020.
pdf, slides, bib
Better Caching for Better Model Counting (extended abstract)
Jeroen Rook, Anna Latour, Siegfried Nijssen, Holger Hoos
In International Workshop on Model Counting (MCW), held in conjunction with SAT 2020, 2020.
pdf, slides, bib
Programming a Stochastic Constraint Optimisation Algorithm, by Optimisation
Daniël Fokkinga, Anna Latour, Marie Anastacio, Siegfried Nijssen, Holger Hoos
In Workshop Data Science meets Optimisation (DSO), held in conjunction with IJCAI 2019, 2019.
pdf, bib
Stochastic Constraint Propagation for Mining Probabilistic Networks
Anna Latour, Behrouz Babaki, Siegfried Nijssen
In Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), 2019.
pdf, slides, poster, code, bib
Stochastic Constraint Propagation for Mining Probabilistic Networks (extended abstract)
Anna Latour, Behrouz Babaki, Siegfried Nijssen
In Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), 2019.
pdf, slides, poster, bib
Stochastic Constraint Optimization using Propagation on Ordered Binary Decision Diagrams
Anna Latour, Behrouz Babaki, Siegfried Nijssen
In 8th International Workshop on Statistical Relational AI (StarAI 2018), held in conjunction with IJCAI 2018, 2018.
pdf, slides, poster, bib
Combining Stochastic Constraint Optimization and Probabilistic Programming --- From Knowledge Compilation to Constraint Solving
Anna Latour, Behrouz Babaki, Anoton Dries, Angelika Kimmig, Guy Van den Broeck, Siegfried Nijssen
In Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017), 2017.
pdf, slides, code, bib