| Publication | Date of Publication | Type |
|---|
Modeling and analysis of heterogeneous traffic flow considering dynamic information flow topology and driving behavioral characteristics
Physica A | 2024-05-10 | 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 |
Static optimal scheduling for synchronous data flow graphs with model checking
FM 2015: Formal Methods | 2019-12-19 | Paper |
| Recent progress in program analysis | 2019-09-20 | 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 |
System description generating models by SEM
Automated Deduction — Cade-13 | 2019-01-15 | 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 |
Automatic Generation of Combinatorial Test Data
SpringerBriefs in Computer Science | 2014-07-07 | Paper |
| Reducing symmetries to generate easier SAT instances | 2013-09-25 | Paper |
Performance estimation using symbolic data
Theories of Programming and Formal Methods | 2013-08-16 | Paper |
Faulty interaction identification via constraint solving and optimization
Theory and Applications of Satisfiability Testing – SAT 2012 | 2013-08-12 | Paper |
MACE4 and SEM: a comparison of finite model generators
Automated Reasoning and Mathematics | 2013-04-16 | Paper |
Solving generalized optimization problems subject to SMT constraints
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management | 2012-07-16 | Paper |
An efficient method to generate feasible paths for basis path testing
Information Processing Letters | 2010-04-19 | Paper |
Volume Computation for Boolean Combination of Linear Arithmetic Constraints
Automated Deduction – CADE-22 | 2009-07-28 | Paper |
A Powerful Technique to Eliminate Isomorphism in Finite Model Search
Automated Reasoning | 2009-03-12 | Paper |
Volume Computation Using a Direct Monte Carlo Method
Lecture Notes in Computer Science | 2009-03-06 | Paper |
Computer Search for Large Sets of Idempotent Quasigroups
Computer Mathematics | 2009-01-29 | Paper |
Using Hajós’ Construction to Generate Hard Graph 3-Colorability Instances
Artificial Intelligence and Symbolic Computation | 2009-01-15 | Paper |
Finding Relations Among Linear Constraints
Artificial Intelligence and Symbolic Computation | 2009-01-15 | Paper |
Constraint Processing
ACTA AUTOMATICA SINICA | 2008-04-04 | Paper |
Automated Deduction – CADE-20
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 2247681 (Why is no real title available?) | 2006-01-16 | Paper |
Artificial Intelligence and Symbolic Computation
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2165692 (Why is no real title available?) | 2005-05-06 | Paper |
Semantic computation in a Chinese question-answering system
Journal of Computer Science and Technology | 2004-07-01 | Paper |
| scientific article; zbMATH DE number 1929156 (Why is no real title available?) | 2003-06-17 | Paper |
Constructing finite algebras with FALCON
Journal of Automated Reasoning | 1997-11-27 | Paper |
Automatic construction of finite algebras
Journal of Computer Science and Technology | 1995-07-24 | Paper |
