a complete inductive approach to SAT
| Authors | |
|---|---|
| Publication date | 2006 |
| Book title | Proceedings of the Fifteenth Dutch-Belgian Conference on Machine Learning (Benelearn) |
| Event | the Fifteenth Dutch-Belgian Conference on Machine Learning (Benelearn) |
| Organisations |
|
| Document type | Conference contribution |
| Permalink to this page | |