Removing propagation redundant constraints in redundant modeling Journal Articles Refereed uri icon

Overview

Published in

  • ACM Transactions on Computational Logic

Time

Date/time value

  • 2007

Identity

Digital Object Identifier (DOI)

  • 10.1145/1276920.1276925

Additional Document Info

Parent Title

  • ACM TRANSACTIONS ON COMPUTATIONAL LOGIC

Volume

  • 8

Issue

  • 4

Number

  • ARTN 23

Publisher

  • Association for Computing Machinery