SUNNY: a Lazy Portfolio Approach for Constraint Solving Journal Articles Refereed uri icon

Overview

Time

Date/time value

  • 2014

Identity

Digital Object Identifier (DOI)

  • 10.1017/S1471068414000179

Additional Document Info

Parent Title

  • 30th International Conference on Logic Programming
  • THEORY AND PRACTICE OF LOGIC PROGRAMMING

Volume

  • 14

Publisher

  • Cambridge University Press