Skip to content

Jinqiang Yu

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

6

Venues

5

Active years

2013–2024

Best venue rank

A*

Where they publish

Papers

6 indexed papers, newest first.

YearVenueTitleAuthors
2024SATAnytime Approximate Formal Feature Attribution.Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey
2023AAAIEliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations.Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, Joo Marques-Silva
2023CPFrom Formal Boosted Tree Explanations to Interpretable Rule Sets.Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey
2020CPComputing Optimal Decision Sets with SAT.Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic
2019ICDELarge Scale Traffic Signal Network Optimization - A Paradigm Shift Driven by Big Data.Liang Yu, Jinqiang Yu, Maolei Zhang, Xin Zhang, Yuehu Liu, Hui Zhang, Wanli Min
2013PIMRCMobility-Aware Reassociation control in Wireless Mesh Networks.Jinqiang Yu, Wai-Choong Wong