Generating Constrained Random Data with Uniform Distribution
Paper in proceeding, 2014
Author
Koen Lindström Claessen
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Jonas Almström Duregård
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Michal Palka
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 8475 LNCS 18-34978-3-319-07151-0 (ISBN)
Subject Categories
Computer Science
DOI
10.1007/978-3-319-07151-0_2
ISBN
978-3-319-07151-0