Xindi Zhang

Available identifiers

zbMath Open zhang.xindiMaRDI QIDQ2118285

List of research outcomes

Publication	Date of Publication	Type
Local Search For Satisfiability Modulo Integer Arithmetic Theories	2023-11-03	Paper
Local Search for SMT on Linear Integer Arithmetic	2022-12-07	Paper
Better Decision Heuristics in CDCL through Local Search and Target Phases	2022-08-30	Paper
Deep cooperation of CDCL and local search for SAT	2022-03-22	Paper
Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set	2021-05-25	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: Xindi Zhang