Satisfiability testing of boolean combinations of pseudo-boolean constraints using local-search techniques

Lengning Liu, Mirosław Truszczyński

Research output: Contribution to journal › Article › peer-review

5 Scopus citations

Fingerprint

Dive into the research topics of 'Satisfiability testing of boolean combinations of pseudo-boolean constraints using local-search techniques'. Together they form a unique fingerprint.

Computer Science

Engineering