TY  - CONF
  - C. Quirke, S. D. Prestwich
  - Workshop on the Integration of SAT and CP techniques
  - Constraint-Based Subsearch in Dynamic Local Search for Lifted SAT Problems.
  - 2006
  - January
  - Validated
  - 1
  - ()
DA  - 2006/01
ER  - 

@inproceedings{V26616822,
   = {C. Quirke,  S. D. Prestwich },
   = {Workshop on the Integration of SAT and CP techniques},
   = {{Constraint-Based Subsearch in Dynamic Local Search for Lifted SAT Problems.}},
   = {2006},
   = {January},
   = {Validated},
   = {1},
   = {()},
  source = {IRIS}
}