Encoding wbds.dlv

Name	wbds.dlv
Class Tree	[Root] Unclassified (114) WeightBoundedDominatingSetSuite (4)
Submitter	Martin Gebser
Author	Wolfgang Faber
Description
Created	2009-03-30 13:03
Modified	2009-03-10 14:11
Languages	dlv
Language Features
Compatible Instance Classes	WeightBoundedDominatingSetSuite
Input Predicates	bound/1 edge/2 edgewt/3 minweight/1 vtx/1
Output Predicates	in/1
Encoding Parameter
Standalone	No
Tags
Attributes
Content	% by W. Faber in(X) v out(X) :- vtx(X). :- not inneighbor(X), not in(X), vtx(X). inneighbor(X) :- #sum{ W,Y: in(Y), edgewt(Y,X,W)} >= M , minweight(M), vtx(X). inneighbor(X) :- #sum{ W,Y: in(Y), edgewt(X,Y,W)} >= M , minweight(M), vtx(X). :- bound(K), #count{X: in(X)} > K.

Actions