Modelling Clique Problems for SAT Local Search.

Typeset version

 

TY  - CONF
  - S. D. Prestwich.
  - Third International Workshop on Local Search Techniques in Constraint Satisfaction
  - Modelling Clique Problems for SAT Local Search.
  - 2006
  - February
  - Validated
  - 1
  - ()
DA  - 2006/02
ER  - 
@inproceedings{V26616820,
   = {S. D. Prestwich. },
   = {Third International Workshop on Local Search Techniques in Constraint Satisfaction},
   = {{Modelling Clique Problems for SAT Local Search.}},
   = {2006},
   = {February},
   = {Validated},
   = {1},
   = {()},
  source = {IRIS}
}
AUTHORSS. D. Prestwich.
TITLEThird International Workshop on Local Search Techniques in Constraint Satisfaction
PUBLICATION_NAMEModelling Clique Problems for SAT Local Search.
YEAR2006
MONTHFebruary
STATUSValidated
PEER_REVIEW1
TIMES_CITED()
SEARCH_KEYWORD
EDITORS
START_PAGE
END_PAGE
LOCATION
START_DATE
END_DATE
ABSTRACT
FUNDED_BY
URL
DOI_LINK
FUNDING_BODY
GRANT_DETAILS