Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers
IEICE Transactions on Information and Systems - Japan
doi 10.1587/transinf.2014fop0007
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2015
Authors
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)