3 ms·
I have applied SATs with some success to generative models where sampling methods would not work well, e.g. if you have many soft and hard constraints. Another
by nextos 7y ago
I have applied SATs with some success to generative models where sampling methods would not work well, e.g. if you have many soft and hard constraints. Another alternative is to use neural guides.
- 2400 7y agodo you have any pointers on modeling with soft/hard constraints and SAT solvers?