Feifei Ma

Available identifiers

Publication	Date of Publication	Type
Improving Simulated Annealing for Clique Partitioning Problems	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	2021-12-15	Paper
Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing	2020-09-10	Paper
On some matching problems under the color-spanning model	2019-08-20	Paper
On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model	2019-04-26	Paper
A new probabilistic algorithm for approximate model counting	2018-10-18	Paper
Investigating the existence of large sets of idempotent quasigroups via satisfiability testing	2018-10-18	Paper
Computing and estimating the volume of the solution space of SMT(LA) constraints	2018-08-23	Paper
Weak QMV algebras and some ring-like structures	2018-02-27	Paper
A Fast and Practical Method to Estimate Volumes of Convex Polytopes	2015-11-12	Paper
Automatic Generation of Combinatorial Test Data	2014-07-07	Paper
Faulty Interaction Identification via Constraint Solving and Optimization	2013-08-12	Paper
Solving Generalized Optimization Problems Subject to SMT Constraints	2012-07-16	Paper
Volume Computation for Boolean Combination of Linear Arithmetic Constraints	2009-07-28	Paper
Computer Search for Large Sets of Idempotent Quasigroups	2009-01-29	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Feifei Ma