aigqbf_s
| Submitter: | Florian Pigorsch | ||
| Description: | A symbolic, non-search based solver using FRAIGs as the underlying data structure. This version is using structure reconstruction. | ||
| Results: | |||
| Submitter: | Florian Pigorsch | ||
| Description: | A symbolic, non-search based solver using FRAIGs as the underlying data structure. This version is using structure reconstruction. | ||
| Results: | |||