qbfbdd
| Submitter: | Gilles Audemard | ||
| Description: | Devised by Gilles Audemard and Lakhdar Sais, it uses a combination of search and symbolic BDD-based) techniques. | ||
| Results: | |||
| Submitter: | Gilles Audemard | ||
| Description: | Devised by Gilles Audemard and Lakhdar Sais, it uses a combination of search and symbolic BDD-based) techniques. | ||
| Results: | |||