Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Bau, Alexander"'
Autor:
Bau, Alexander
A constraint is a formula in first-order logic expressing a relation between values of various domains. In order to solve a constraint, constructing a propositional encoding is a successfully applied technique that benefits from substantial progress
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A30236
https://tud.qucosa.de/api/qucosa%3A30236/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A30236/attachment/ATT-0/
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Bau, Alexander, Waldmann, Johannes
We present a functional programming language for specifying constraints over tree-shaped data. The language allows for Haskell-like algebraic data types and pattern matching. Our constraint compiler CO4 translates these programs into satisfiability p
Externí odkaz:
http://arxiv.org/abs/1305.4957
Autor:
Böttcher, Nils1,2 (AUTHOR), Dayani, Shahabeddin1 (AUTHOR), Markötter, Henning1 (AUTHOR), Bau, Alexander1 (AUTHOR), Setzchen, Max1 (AUTHOR), Schmidt, Anita1 (AUTHOR), Kowal, Julia2 (AUTHOR), Krug von Nidda, Jonas1 (AUTHOR) jonas.krug-von-nidda@bam.de
Publikováno v:
Energy Technology. May2024, Vol. 12 Issue 5, p1-13. 13p.
Autor:
Bau, Alexander
A constraint is a formula in first-order logic expressing a relation between values of various domains. In order to solve a constraint, constructing a propositional encoding is a successfully applied technique that benefits from substantial progress
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4179::fc50ebac6c7fa605c23cd93bc4e1137b
https://tud.qucosa.de/id/qucosa:30236
https://tud.qucosa.de/id/qucosa:30236
We adapt the TreeRePair tree compression algorithm and use it as an intermediate step in proving termination of term rewriting systems. We introduce a cost function that approximates the size of constraint systems that specify compatibility of matrix
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d2d748eaa0f8ee2dc7c74b2fcd6c12fa
Autor:
Bau, Alexander, Waldmann, Johannes
Publikováno v:
Declarative Programming & Knowledge Management; 2014, p33-47, 15p
Autor:
Bau, Alexander
von Alexander Bau
Exlibrisstempel: "Entomologische Sammlung der eidgen. techn. Hochschule Zürich" 011145977_0001 Exemplar der ETH-BIB, Rar 14748
Exlibrisstempel: "Entomologische Sammlung der eidgen. techn. Hochschule Zürich" 011145977_0001 Exemplar der ETH-BIB, Rar 14748
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::db1c5500ebe32cbe9e95103f603d8644