|
Encoding Constraints as Binary Constraint Networks Satisfying BTP
Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 2024. |
|
Expediting Neural Network Verification via Network Reduction
Proceedings of International Conference on Automated Software Engineering (ASE), 2023. |
|
A Comparison of SAT Encodings for Acyclicity of Directed Graphs
Proceedings of International Conference on Theory and Applications of Satisfiability Testing (SAT), 2023. |
|
The Expressive Power of Ad-Hoc Constraints for Modelling CSPs
Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 2023. |
|
CNF Encodings of Binary Constraint Trees
Proceedings of International Conference on Principles and Practice of Constraint Programming (CP), 2022. |
|
Encoding Multi-valued Decision Diagram Constraints as Binary Constraint Trees
Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 2022. |
|
Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs
Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 2020. |
|
Generalized arc consistency algorithms for table constraints: A summary of algorithmic ideas
Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 2020. |
|
Arc Consistency Revisited
Proceedings of International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR), 2019. |
|
Correlation heuristics for constraint programming
Proceedings of International Conference on Tools with Artificial Intelligence (ICTAI), 2017. |
|
Optimizing Simple Tabular Reduction with a Bitwise Representation
Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 2016. |