TY  - CONF
  - S. D. Prestwich.
  - Tenth International Conference on Principles and Practice of Constraint Programming
  - Full Dynamic Substitutability by SAT Encoding
  - 2004
  - March
  - Validated
  - 1
  - ()
DA  - 2004/03
ER  - 

@inproceedings{V26617168,
   = {S. D. Prestwich. },
   = {Tenth International Conference on Principles and Practice of Constraint Programming},
   = {{Full Dynamic Substitutability by SAT Encoding}},
   = {2004},
   = {March},
   = {Validated},
   = {1},
   = {()},
  source = {IRIS}
}