Vaibhav Karve | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Anil N. Hirani
4 publications

research

∙ 05/24/2021

GraphSAT – a decision problem connecting satisfiability and graph theory

Satisfiability of boolean formulae (SAT) has been a topic of research in...

0 Vaibhav Karve, et al. ∙

research

∙ 12/28/2018

The complete set of minimal simple graphs that support unsatisfiable 2-CNFs

A propositional logic sentence in conjunctive normal form that has claus...

0 Vaibhav Karve, et al. ∙