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 2014 · cs.AIShow all

1 paper · 2 filters

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…