Alexander Bau

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
SAT Compilation for Constraints over Structured Finite Domains.
PhD thesis, 2017

2014
Describing and Measuring the Complexity of SAT encodings for Constraint Programs.
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.
Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

Propositional Encoding of Constraints over Tree-Shaped Data.
Proceedings of the Declarative Programming and Knowledge Management, 2013

2007
Portal Economics and Business Models.
Proceedings of the Encyclopedia of Portal Technologies and Applications (2 Volumes), 2007

Digital Interactive Channel Systems and Portals.
Proceedings of the Encyclopedia of Portal Technologies and Applications (2 Volumes), 2007


  Loading...