Solving RCPSP/max by lazy clause generation
Andreas Schutt; Thibaut Feydy; Peter J. Stuckey; Mark G. Wallace
Year of publication: |
2013
|
---|---|
Authors: | Schutt, Andreas ; Feydy, Thibaut ; Stuckey, Peter J. ; Wallace, Mark G. |
Published in: |
Journal of scheduling. - New York, NY : Springer Science + Business Media LLC, ISSN 1094-6136, ZDB-ID 1492486-9. - Vol. 16.2013, 3, p. 273-289
|
Saved in:
Saved in favorites
Similar items by person
-
Incremental Satisfiability and Implication for UTVPI Constraints
Schutt, Andreas, (2010)
-
Incremental satisfiability and implication for UTVPI constraints
Schutt, Andreas, (2010)
-
Kreter, Stefan, (2018)
- More ...