Stratified Constructive Disjunction and Negation in Constraint Programming
- Authors
- A. Gotlieb, D. Marijan and H. Spieker
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2018
- Journal
- Proc. of IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI-18). Volos, Greece. Nov. 2018
- Publisher
- IEEE
- Citation key
- 15059