The following pages link to On conversions from CNF to ANF (Q2307626):
Displaying 5 items.
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions (Q2238714) (← links)
- On converting CNF to DNF (Q2576880) (← links)
- (Q5146180) (← links)
- Mathematical Foundations of Computer Science 2003 (Q5431349) (← links)
- SAT solving using XOR-OR-AND normal forms. (Q6653668) (← links)