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