Informational model development for the constraint satisfaction problem solutions subsystem based on XML format | IEEE Conference Publication | IEEE Xplore