| Original language | English |
|---|---|
| Pages (from-to) | 117-119 |
| Journal | AI Communications |
| Volume | 22 |
| Issue number | 2 |
| Publication status | Published - 2009 |
| MoE publication type | A1 Journal article-refereed |
Structure-Based Satisfiability Checking: Analyzing and Harnessing the Potential
Matti Järvisalo
Research output: Contribution to journal › Article › Scientific › peer-review