External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Advanced Conflict-Driven Disjunctive Answer Set Solving

Martin Gebser, Benjamin Kaufmann, Torsten Schaub. Advanced Conflict-Driven Disjunctive Answer Set Solving. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 912-918, IJCAI/AAAI, 2013. [doi]

Authors

Martin Gebser

This author has not been identified. Look up 'Martin Gebser' in Google

Benjamin Kaufmann

This author has not been identified. Look up 'Benjamin Kaufmann' in Google

Torsten Schaub

This author has not been identified. Look up 'Torsten Schaub' in Google
runs on