Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving

    Thumbnail
    Citations
    Scopus
    Altmetric
    16
    Author
    Stuckey, PJ
    Date
    2010-01-01
    Source Title
    INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS
    Publisher
    SPRINGER-VERLAG BERLIN
    University of Melbourne Author/s
    Stuckey, Peter
    Affiliation
    Computer Science and Software Engineering
    Metadata
    Show full item record
    Document Type
    Conference Paper
    Citations
    Stuckey, P. J. (2010). Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving. Lodi, A (Ed.) Milano, M (Ed.) Toth, P (Ed.) INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS, 6140, pp.5-9. SPRINGER-VERLAG BERLIN. https://doi.org/10.1007/978-3-642-13520-0_3.
    Access Status
    This item is currently not available from this repository
    URI
    http://hdl.handle.net/11343/31933
    DOI
    10.1007/978-3-642-13520-0_3
    Description

    International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR)
    Keywords
    Artificial Intelligence and Image Processing

    Export Reference in RIS Format     

    Collections