Class | Description |
---|---|
BooleanMaxWalkSat |
Implementation of MaxWalkSat, which searches for a good Boolean assignment
of truth values.
|
BooleanMCSat |
Implementation of MC-Sat, which approximates the marginal probability that each
atom has value 1 in a Boolean domain.
|
Copyright © 2018 University of California, Santa Cruz. All rights reserved.