TY  - CONF
  - Quirke, C. Prestwich, S. D.
  - Workshop on the Integration of SAT and CP techniques
  - Constraint-Based Subsearch in Dynamic Local Search for Lifted SAT Problems
  - 2006
  - September
  - Published
  - 1
  - ()
  - Nantes, France
  - 25-SEP-06
  - 30-DEC-99
DA  - 2006/09
ER  - 

@inproceedings{V381167,
   = {Quirke,  C. Prestwich and  S. D. },
   = {Workshop on the Integration of SAT and CP techniques},
   = {{Constraint-Based Subsearch in Dynamic Local Search for Lifted SAT Problems}},
   = {2006},
   = {September},
   = {Published},
   = {1},
   = {()},
   = {Nantes, France},
  month = {Sep},
   = {30-DEC-99},
  source = {IRIS}
}