activity
20102022
most citedLocal Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function

40 citations · 61 across the 13 of their papers we have counts for

collaborators
Showing 2014Show all

1 paper · 1 filter

cs.AI2014

Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition

Yong Lai, Dayou Liu, Minghao Yin

This paper augments OBDD with conjunctive decomposition to propose a generalization called OBDD[]. By imposing reducedness and the finest -decomposition bounded by…