Conference Proceedings

Hybrid BDD and SAT finite domain constraint solver

P Hawkins, PJ Stuckey, P VanHentenryck

Practical Aspects of Declarative Languages | SPRINGER-VERLAG BERLIN | Published : 2006

University of Melbourne Researchers

Peter Stuckey Author Computing and Information Systems

Citation metrics

4Web of Science

Keywords

Science & Technology

Computer Science, Software Engineering

Computer Science

Computer Science, Theory & Methods