2025
A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic.
Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025
2024
A prompt-based approach to adversarial example generation and robustness enhancement.
Frontiers Comput. Sci., August, 2024
PAD: A Robustness Enhancement Ensemble Method via Promoting Attention Diversity.
Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024
2023
Investigating the Existence of Holey Latin Squares via Satisfiability Testing.
Proceedings of the PRICAI 2023: Trends in Artificial Intelligence, 2023
Quantifying Robustness to Adversarial Word Substitutions.
Proceedings of the Machine Learning and Knowledge Discovery in Databases: Research Track, 2023
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
PSMT: Satisfiability Modulo Theories Meets Probability Distribution.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
Improving Bit-Blasting for Nonlinear Integer Constraints.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract).
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Modelling and solving the supply marketing order allocation problem with time consistency and bundle discounts.
J. Oper. Res. Soc., 2022
Improving Simulated Annealing for Clique Partitioning Problems.
J. Artif. Intell. Res., 2022
A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement.
CoRR, 2022
Quantifying Robustness to Adversarial Word Substitutions.
CoRR, 2022
Solving multi-objective constrained minimum weighted bipartite assignment problem: a case study on energy-aware radio broadcast scheduling.
Sci. China Inf. Sci., 2022
ε-weakened robustness of deep neural networks.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022
AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Word Level Robustness Enhancement: Fight Perturbation with Perturbation.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Can Graph Neural Networks Learn to Solve MaxSAT Problem?
CoRR, 2021
Investigating the Existence of Costas Latin Squares via Satisfiability Testing.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021
Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021
2020
Counting the Number of Solutions to Constraints.
CoRR, 2020
A decomposition-based memetic algorithm using helper objectives for shortwave radio broadcast resource allocation problem in China.
Appl. Soft Comput., 2020
Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks.
Proceedings of the Principles and Practice of Constraint Programming, 2020
Knowledge-Driven Multi-dimensional Dialogue Rewriting Model.
Proceedings of the Web and Big Data. APWeb-WAIM 2020 International Workshops, 2020
2019
On some matching problems under the color-spanning model.
Theor. Comput. Sci., 2019
SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing.
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Approximating Integer Solution Counting via Space Quantification for Linear Constraints.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
ACFNet: Attentional Class Feature Network for Semantic Segmentation.
Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019
2018
Computing and estimating the volume of the solution space of SMT(LA) constraints.
Theor. Comput. Sci., 2018
A Community-Division Based Algorithm for Finding Relations Among Linear Constraints.
Proceedings of the Knowledge Science, Engineering and Management, 2018
Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
A New Probabilistic Algorithm for Approximate Model Counting.
Proceedings of the Second Workshop on Logics for Reasoning about Preferences, 2018
VolCE: An Efficient Tool for Solving #SMT(LA) Problems.
Proceedings of the Second Workshop on Logics for Reasoning about Preferences, 2018
2017
Weak QMV algebras and some ring-like structures.
Soft Comput., 2017
Diversified Top-k Partial MaxSAT Solving.
CoRR, 2017
A New Probabilistic Algorithm for Approximate Model Counting.
CoRR, 2017
A Hybrid Multi-objective Evolutionary Algorithm for Energy-Aware Allocation and Scheduling Optimization of MPSoCs.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017
On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model.
Proceedings of the Frontiers in Algorithmics - 11th International Workshop, 2017
Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment.
Proceedings of the Principles and Practice of Constraint Programming, 2017
2016
Lightweight Method-Level Energy Consumption Estimation for Android Applications.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016
Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic.
Proceedings of the PRICAI 2016: Trends in Artificial Intelligence, 2016
Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search.
Proceedings of the Principles and Practice of Constraint Programming, 2016
2015
A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA).
CoRR, 2015
SMT Solving for the Theory of Ordering Constraints.
Proceedings of the Languages and Compilers for Parallel Computing, 2015
A Fast and Practical Method to Estimate Volumes of Convex Polytopes.
Proceedings of the Frontiers in Algorithmics - 9th International Workshop, 2015
2014
Automatic Generation of Combinatorial Test Data
Springer Briefs in Computer Science, Springer, ISBN: 978-3-662-43429-1, 2014
A Fast and Practical Method to Estimate Volumes of Convex Polytopes.
CoRR, 2014
2013
Finding orthogonal latin squares using finite model searching tools.
Sci. China Inf. Sci., 2013
2012
Integrating Standard Dependency Schemes in QCSP Solvers.
J. Comput. Sci. Technol., 2012
An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012
Faulty Interaction Identification via Constraint Solving and Optimization.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Solving Generalized Optimization Problems Subject to SMT Constraints.
Proceedings of the Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, 2012
2010
Constraint solving techniques for software testing and analysis.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
2009
Volume Computation for Boolean Combination of Linear Arithmetic Constraints.
Proceedings of the Automated Deduction, 2009
Solving Global Unconstrained Optimization Problems by Symmetry-Breaking.
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009
2008
Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints.
Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008
2007
Computer Search for Large Sets of Idempotent Quasigroups.
Proceedings of the Computer Mathematics, 8th Asian Symposium, 2007