Pages that link to "Item:Q2385178"
From MaRDI portal
The following pages link to Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques (Q2385178):
Displayed 1 item.
The following pages link to Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques (Q2385178):
Displayed 1 item.