×

Found 20 Documents (Results 1–20)

Approximate counting CSP seen from the other side. (English) Zbl 1499.68238

Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 60, 14 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Beyond Boolean surjective VCSPs. (English) Zbl 07559161

Niedermeier, Rolf (ed.) et al., 36th international symposium on theoretical aspects of computer science, STACS 2019, March 13–16, 2019, Berlin, Germany. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 126, Article 52, 15 p. (2019).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Hybrid tractable classes of constraint problems. (English) Zbl 1482.68107

Krokhin, Andrei (ed.) et al., The constraint satisfaction problem: complexity and approximability, Dagstuhl seminar 15301, July 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. Dagstuhl Follow-Ups 7, 113-135 (2017).
MSC:  68Q25 68R05 90C27
PDFBibTeX XMLCite
Full Text: DOI

A Galois connection for valued constraint languages of infinite size. (English) Zbl 1440.68115

Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9134, 517-528 (2015).
PDFBibTeX XMLCite
Full Text: DOI

The complexity of conservative valued CSPs. (English) Zbl 1423.68215

Rabani, Yuval (ed.), Proceedings of the 23rd annual ACM-SIAM symposium on discrete algorithms, SODA 2012, Kyoto, Japan, January 17–19, 2012. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 750-759 (2012).
MSC:  68Q25 90C27
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software