Knowledge-based configuration of computer systems using hierarchical partial choice | IEEE Conference Publication | IEEE Xplore