IDR@IIT Indore: Browsing DSpace

Browsing by Subject 3-SAT

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 7 of 7

Issue Date	Title	Author(s)
2011	3-CNF-satisfiability in polynomial time	Chaudhari, Narendra S.
2012	Channel assignment problem in cellular network and its reduction to satisfiability using graph k-colorability	Chaudhari, Narendra S.
2018	An Efficient Algorithmic 3-SAT Formulation for Sudoku Puzzle using Graph Coloring	Chaudhari, Narendra S.
2011	Formulation of 3-clustering as a 3-SAT problem	Jain, Rajkumar C.; Chaudhari, Narendra S.
2011	A graph coloring approach for channel assignment in cellular network via propositional satisfiability	Chaudhari, Narendra S.
2012	Phase transition in reduction between 3-SAT and graph colorability for channel assignment in cellular network	Chaudhari, Narendra S.
2011	A reduction of 3-Sat problem from optimal sanitization in association rule hiding	Tiwari, Aruna; Chaudhari, Narendra S.

Showing results 1 to 7 of 7