about    Alexander Bau
Ph.D. student on SAT Compilation for Constraints over Finite Structured Domains
email abau[at]X.Y[minus]Z.de where X=imn Y=htwk Z=leipzig
software co4
satchmo-core
publications Describing and Measuring the Complexity of SAT encodings for Constraint Programs.
Alexander Bau and Johannes Waldmann
28th Workshop on (Constraint) Logic Programming
September 15-17 2014, Wittenberg, Germany
Automated SAT Encoding for Termination Proofs with Semantic Labelling and Unlabelling
Alexander Bau and René Thiemann and Johannes Waldmann
14th International Workshop on Termination
July 17-18 2014, Vienna, Austria
Proceedings
SAT Compilation for Constraints over Finite Structured Domains
Alexander Bau
Fourth International Workshop on the Cross-Fertilization Between CSP and SAT
July 18th 2014, Vienna, Austria
Proceedings
RNA Design by Program Inversion via SAT solving
Alexander Bau and Johannes Waldmann and Sebastian Will
Workshop on Constraint-Based-Methods for Bioinformatics
September 16th 2013, Uppsala, Sweden
Proceedings
Propositional Encoding of Constraints over Tree-Shaped Data
Alexander Bau and Johannes Waldmann
22nd International Workshop on Functional and (Constraint) Logic Programming
September 11-13 2013, Kiel, Germany
SAT compilation for Termination Proofs via Semantic Labelling
Alexander Bau and Jörg Endrullis and Johannes Waldmann
13th International Workshop on Termination
August 28 - 31 2013, Bertinoro, Italy
Proceedings
Propositional Encoding of Constraints over Tree-Shaped Data
Alexander Bau and Johannes Waldmann
International Workshop on Haskell And Rewriting Techniques
June 27 2013, Eindhoven, The Netherlands
Compression of Rewriting Systems for Termination Analysis
Alexander Bau, Markus Lohrey, Eric Noeth and Johannes Waldmann
24th International Conference on Rewriting Techniques and Applications
June 24-26 2013, Eindhoven, The Netherlands
Propositional Encoding of Constraints over Tree-Shaped Data
Alexander Bau and Johannes Waldmann
arxiv.org
Recent Developments in the Matchbox Termination Prover
Alexander Bau, Tobias Kalbitz, Maria Voigtländer and Johannes Waldmann
12th International Workshop on Termination
February 19th-23th 2012, Obergurgl, Austria
Proceedings
talks SAT Compilation for Constraints over Finite Structured Domains
23.05.2014
VU University Amsterdam, Netherlands
Constraint Programming by Inversion of Functional Programs
19.12.2012
Statusvortrag
University of Dresden, Germany
Slides
Constraint Programming by Inversion of Functional Programs
06.09.2012
Summer School 2012: Verification Technology, Systems & Applications
Max Planck Institute for Informatics, Saarbrücken, Germany
Slides
Program complexity and transformation
30.05.2012
Wissenschaftliches Kolloquium
University of Applied Sciences, Leipzig, Germany
Slides
Constraint Programmierung via Haskell Programmierung
16.01.2012
Informatik-Kolloquium
Brandenburg University of Technology, Cottbus, Germany
Constraint system generating Haskell programs
07.12.2011
Master Seminar
University of Innsbruck, Austria
Slides