Pages that link to "Item:Q5758133"
From MaRDI portal
The following pages link to A Gröbner Basis Approach to CNF-Formulae Preprocessing (Q5758133):
Displaying 7 items.
- Obtaining and solving systems of equations in key variables only for the small variants of AES (Q626949) (← links)
- On computation of Boolean involutive bases (Q1956959) (← links)
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions (Q2238714) (← links)
- On conversions from CNF to ANF (Q2307626) (← links)
- Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases (Q3587716) (← links)
- Satisfiability Procedures for Combination of Theories Sharing Integer Offsets (Q3617773) (← links)
- (Q4503970) (← links)