Pittsburgh / Edmonton / Vancouver / Providence / Madras / Austin / Boston / St. Andrews / San Jose / /
Company
CNF / F. / Intel / /
Country
Canada / United Kingdom / / /
Facility
University of Innsbruck / Latin square / Cornell University / Intelligent Information Systems Institute / /
IndustryTerm
sample-based model counting algorithm / formulas using solution / uniform solution / local search / local search sampling / Online Proceedings / heuristic-based practical solution / search tree size / local search style / software verification / /
OperatingSystem
Linux / /
Organization
University of Innsbruck / Intelligent Information Systems Institute / Cornell University / /
Person
Carla P. Gomes / J. D. Pehoushek / D. Gelatt Jr. / CIRCUIT SYNTH / M. Vecchi / Joerg Hoffmann‡ Ashish Sabharwal / S. Kirkpatrick / R. J. Bayardo Jr. / Ashish Sabharwal† Bart Selman / Wei / /
Position
Model / A. Teller / and E. Teller / model count / /
Product
SampleCount / Markov / Suppose SampleCount / /
ProvinceOrState
Texas / Pennsylvania / Rhode Island / British Columbia / California / Massachusetts / /
Technology
sample-based model counting algorithm / randomized algorithm / artificial intelligence / Linux / caching / SAT technology / /