Jian Zhang

Available identifiers

zbMath Open zhang.jian.8MaRDI QIDQ963406

List of research outcomes

Publication	Date of Publication	Type
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
Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking	2019-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q5196888	2019-09-20	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
System description generating models by SEM	2019-01-15	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
Automatic Generation of Combinatorial Test Data	2014-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q2848064	2013-09-25	Paper
Performance Estimation Using Symbolic Data	2013-08-16	Paper
Faulty Interaction Identification via Constraint Solving and Optimization	2013-08-12	Paper
MACE4 and SEM: A Comparison of Finite Model Generators	2013-04-16	Paper
Solving Generalized Optimization Problems Subject to SMT Constraints	2012-07-16	Paper
An efficient method to generate feasible paths for basis path testing	2010-04-19	Paper
Volume Computation for Boolean Combination of Linear Arithmetic Constraints	2009-07-28	Paper
A Powerful Technique to Eliminate Isomorphism in Finite Model Search	2009-03-12	Paper
Volume Computation Using a Direct Monte Carlo Method	2009-03-06	Paper
Computer Search for Large Sets of Idempotent Quasigroups	2009-01-29	Paper
Using Hajós’ Construction to Generate Hard Graph 3-Colorability Instances	2009-01-15	Paper
Finding Relations Among Linear Constraints	2009-01-15	Paper
Constraint Processing	2008-04-04	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q5718875	2006-01-16	Paper
Artificial Intelligence and Symbolic Computation	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4675621	2005-05-06	Paper
Semantic computation in a Chinese question-answering system	2004-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4708203	2003-06-17	Paper
Constructing finite algebras with FALCON	1997-11-27	Paper
Automatic construction of finite algebras	1995-07-24	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jian Zhang