Oliver Kullmann | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Matthew Gwynne
1 publication
Ankit Shukla
1 publication

research

∙ 07/25/2019

Introducing Autarkies for DQCNF

Autarkies for SAT can be used for theoretical studies, pre-processing an...

0 Oliver Kullmann, et al. ∙

research

∙ 09/12/2013

On SAT representations of XOR constraints

We study the representation of systems S of linear equations over the tw...

0 Matthew Gwynne, et al. ∙

Success!

An error occurred