Exploiting multivalued knowledge in variable selection heuristics for SAT solvers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carlos Ansótegui, Jose Larrubia, Chu Min Li, Felip Manyà. Exploiting multivalued knowledge in variable selection heuristics for SAT solvers. Annals of Mathematics and Artificial Intelligence, 49(1-4):191-205, 2007. [doi]

This author has not been identified. Look up 'Carlos Ansótegui' in GoogleThis author has not been identified. Look up 'Jose Larrubia' in GoogleThis author has not been identified. Look up 'Chu Min Li' in GoogleThis author has not been identified. Look up 'Felip Manyà' in Google

runs on WebDSL