Optimal base encodings for pseudo-boolean constraints
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Hi-index | 0.05 |