The following pages link to Jian Zhang (Q963406):
Displayed 35 items.
- An efficient method to generate feasible paths for basis path testing (Q963407) (← links)
- Constructing finite algebras with FALCON (Q1357663) (← links)
- Semantic computation in a Chinese question-answering system (Q1433999) (← links)
- Computing and estimating the volume of the solution space of SMT(LA) constraints (Q1659994) (← links)
- Weak QMV algebras and some ring-like structures (Q1701734) (← links)
- A new probabilistic algorithm for approximate model counting (Q1799093) (← links)
- Investigating the existence of large sets of idempotent quasigroups via satisfiability testing (Q1799096) (← links)
- Automatic construction of finite algebras (Q1894320) (← links)
- Efficient SAT-based minimal model generation methods for modal logic S5 (Q2118302) (← links)
- Investigating the existence of Costas Latin squares via satisfiability testing (Q2118308) (← links)
- On some matching problems under the color-spanning model (Q2319899) (← links)
- Performance Estimation Using Symbolic Data (Q2842645) (← links)
- Faulty Interaction Identification via Constraint Solving and Optimization (Q2843330) (← links)
- (Q2848064) (← links)
- Solving Generalized Optimization Problems Subject to SMT Constraints (Q2897999) (← links)
- Computer Search for Large Sets of Idempotent Quasigroups (Q3598008) (← links)
- Volume Computation Using a Direct Monte Carlo Method (Q3608845) (← links)
- A Powerful Technique to Eliminate Isomorphism in Finite Model Search (Q3613417) (← links)
- On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model (Q4632199) (← links)
- System description generating models by SEM (Q4647530) (← links)
- (Q4675621) (← links)
- (Q4708203) (← links)
- MACE4 and SEM: A Comparison of Finite Model Generators (Q4913862) (← links)
- Finding orthogonal latin squares using finite model searching tools (Q5018191) (← links)
- Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing (Q5121108) (← links)
- Automatic Generation of Combinatorial Test Data (Q5168573) (← links)
- Volume Computation for Boolean Combination of Linear Arithmetic Constraints (Q5191119) (← links)
- (Q5196888) (← links)
- Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking (Q5206962) (← links)
- Using Hajós’ Construction to Generate Hard Graph 3-Colorability Instances (Q5302914) (← links)
- Finding Relations Among Linear Constraints (Q5302916) (← links)
- Automated Deduction – CADE-20 (Q5394630) (← links)
- Constraint Processing (Q5453231) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464721) (← links)
- (Q5718875) (← links)