1
Published 2015
Table of Contents: ... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ...Invited Lectures -- Additive Approximation for Edge-Deletion Problems (Abstract) -- Graph Theory I...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Rules Based on Extended Function Dependency -- A Problem Oriented Approach to Data Mining in Distributed...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... with Submodular Utility Functions -- An Auction-Based Market Equilibrium Algorithm for a Production Model -- New...
View full text
Electronic eBook