Skip to main content

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

Required fields*

3
  • 1
    $\begingroup$ It depends on which constraints you allow. What domain do the variables fall into? Are they booleans? Integers? Real numbers? Something else? What kinds of constraints do you allow? I hope you can edit the question to clarify those points. $\endgroup$ Commented Jun 7, 2020 at 2:01
  • $\begingroup$ Yes, I can update to answer these questions. I thought since the problem is #SAT, I assumed the domain of variables was clear. $\endgroup$ Commented Jun 7, 2020 at 19:15
  • $\begingroup$ Yes, please edit to state that, as it wasn't clear to me. Thank you! $\endgroup$ Commented Jun 7, 2020 at 23:20