Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox
Picture for Dusica Marijan

Dusica Marijan

Stratified Constructive Disjunction and Negation in Constraint Programming


Nov 09, 2018
Arnaud Gotlieb, Dusica Marijan, Helge Spieker

Add code

Figure 1 for Stratified Constructive Disjunction and Negation in Constraint Programming
Figure 2 for Stratified Constructive Disjunction and Negation in Constraint Programming
Figure 3 for Stratified Constructive Disjunction and Negation in Constraint Programming
* Published in the SAT/CSP Track of the International Conference on Tools with Artificial Intelligence (ICTAI 2018) 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email
<<
1
2