| Original language | English |
|---|---|
| Publication status | Published - 2019 |
| MoE publication type | I2 ICT software |
Fields of Science
- 113 Computer and information sciences
Loandra, Core-Boosted Linear Search for incomplete MaxSAT
Jeremias Berg, Peter Stuckey, Emir Emir Demirović
Research output: Non-textual form › Software › Scientific