×

Found 21 Documents (Results 1–21)

100
MathJax

Trends in temporal reasoning: constraints, graphs and posets. (English) Zbl 1460.68100

Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 290-304 (2016).
PDF BibTeX XML Cite
Full Text: DOI

The complexity of constraint satisfaction problems (invited talk). (English) Zbl 1355.68111

Mayr, Ernst W. (ed.) et al., 32nd international symposium on theoretical aspects of computer science, STACS’15, Garching, Germany, March 4–7, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-78-1). LIPIcs – Leibniz International Proceedings in Informatics 30, 2-9 (2015).
MSC:  68Q25 08A70
PDF BibTeX XML Cite
Full Text: DOI

Equivalence constraint satisfaction problems. (English) Zbl 1252.03087

Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 122-136, electronic only (2012).
PDF BibTeX XML Cite
Full Text: DOI

Maintaining global consistency of temporal constraints in a dynamic environment. (English) Zbl 1039.68892

Chung, Paul W. H. (ed.) et al., Developments in applied artificial intelligence. 16th international conference on industrial and engineering applications of artificial intelligence and expert systems, IEA/AIE 2003, Loughborough, UK, June 23–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40455-4/pbk). Lect. Notes Comput. Sci. 2718, 779-788 (2003).
MSC:  68U99 68T20
PDF BibTeX XML Cite
Full Text: Link

On-line algorithms for networks of temporal constraints. (English) Zbl 0890.68067

Möhring, Rolf H. (ed.), Graph-theoretic concepts in computer science. 23rd international workshop, WG ’97, Berlin, Germany, June 18–20, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1335, 144-156 (1997).
MSC:  68W10 68R10 03B45
PDF BibTeX XML Cite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Classification

Software