Keyword:MiniSAT

Papers
An Integrated Linear Programming Approach in Optimization of Crops Arindam Biswas, Priti Thadani, Ankita Dikshit, Sukla Atha, Ananya Biswas, Ansh Gupta, Chayan Halder and Anirban Das EasyChair Preprint no. 3444