Andreas Kübler

According to our database1, Andreas Kübler authored at least 2 papers between 2010 and 2011.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
New approaches to boolean quantifier elimination.
ACM Commun. Comput. Algebra, 2011

2010
Model Counting in Product Configuration
Proceedings of the Proceedings First International Workshop on Logics for Component Configuration, 2010


  Loading...