×

Found 5 Documents (Results 1–5)

Distributed answer set coloring: stable models computation via graph coloring. (English) Zbl 07453150

Bogaerts, Bart (ed.) et al., Proceedings of the 35th international conference on logic programming (technical communications), ICLP 2019, Las Cruces, USA, September 20–25, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 441-451 (2019).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: arXiv Link

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software