X. D. Zhang

From MaRDI portal
Person:2118285

Available identifiers

zbMath Open zhang.xindiMaRDI QIDQ2118285

List of research outcomes





PublicationDate of PublicationType
Local Search For Satisfiability Modulo Integer Arithmetic Theories2023-11-03Paper
Local Search for SMT on Linear Integer Arithmetic2022-12-07Paper
Better Decision Heuristics in CDCL through Local Search and Target Phases2022-08-30Paper
Deep cooperation of CDCL and local search for SAT2022-03-22Paper
Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set2021-05-25Paper
Effective elastoplastic behavior of ductile matrix composites containing randomly located aligned circular fibres2001-08-30Paper

Research outcomes over time

This page was built for person: X. D. Zhang

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2118285&oldid=7697088"
Powered by MediaWiki