Intent-based System Design with Efficient Search Using Partial-Order Reduction | IEEE Conference Publication | IEEE Xplore