Feifei Ma

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Improving Simulated Annealing for Clique Partitioning Problems Journal of Artificial Intelligence Research	2022-08-30	Paper
Efficient SAT-based minimal model generation methods for modal logic S5	2022-03-22	Paper
Investigating the existence of Costas Latin squares via satisfiability testing	2022-03-22	Paper
Finding orthogonal latin squares using finite model searching tools Science China Information Sciences	2021-12-15	Paper
Investigating the existence of orthogonal golf designs via satisfiability testing Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation	2020-09-10	Paper
On some matching problems under the color-spanning model Theoretical Computer Science	2019-08-20	Paper
On the fixed-parameter tractability of some matching problems under the color-spanning model Frontiers in Algorithmics	2019-04-26	Paper
Investigating the existence of large sets of idempotent quasigroups via satisfiability testing	2018-10-18	Paper
A new probabilistic algorithm for approximate model counting (available as arXiv preprint)	2018-10-18	Paper
Computing and estimating the volume of the solution space of SMT(LA) constraints Theoretical Computer Science	2018-08-23	Paper
Weak QMV algebras and some ring-like structures Soft Computing	2018-02-27	Paper
A Fast and Practical Method to Estimate Volumes of Convex Polytopes Frontiers in Algorithmics	2015-11-12	Paper
Automatic Generation of Combinatorial Test Data SpringerBriefs in Computer Science	2014-07-07	Paper
Faulty interaction identification via constraint solving and optimization Theory and Applications of Satisfiability Testing – SAT 2012	2013-08-12	Paper
Solving generalized optimization problems subject to SMT constraints Frontiers in Algorithmics and Algorithmic Aspects in Information and Management	2012-07-16	Paper
Volume Computation for Boolean Combination of Linear Arithmetic Constraints Automated Deduction – CADE-22	2009-07-28	Paper
Computer Search for Large Sets of Idempotent Quasigroups Computer Mathematics	2009-01-29	Paper

Research outcomes over time

This page was built for person: Feifei Ma