Indexing constraint databases by using a dual representation | IEEE Conference Publication | IEEE Xplore