Alexander Bau

According to our database, Alexander Bau authored at least 6 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

SAT Compilation for Constraints over Structured Finite Domains.

Alexander Bau

PhD thesis, 2017

2014

Describing and Measuring the Complexity of SAT encodings for Constraint Programs.

Alexander Bau, Johannes Waldmann

Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, 2014

2013

Compression of Rewriting Systems for Termination Analysis.

Alexander Bau, Markus Lohrey, Eric Nöth, Johannes Waldmann

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

Propositional Encoding of Constraints over Tree-Shaped Data.

Alexander Bau, Johannes Waldmann

Proceedings of the Declarative Programming and Knowledge Management, 2013

2007

Portal Economics and Business Models.

Christoph Schlueter Langdon, Alexander Bau

Proceedings of the Encyclopedia of Portal Technologies and Applications (2 Volumes), 2007

Digital Interactive Channel Systems and Portals.

Christoph Schlueter Langdon, Alexander Bau

Proceedings of the Encyclopedia of Portal Technologies and Applications (2 Volumes), 2007