Description: Department of Computer Science, University of Toronto
Computer Science Department School of Computing National University of Singapore
Welcome to the Meel Group’s web page. We are situated at National University of Singapore.
Our research program’s long-term vision is to advance automated reasoning techniques to enable computing to deal with increasingly uncertain real-world environments. From the core technical perspective, our research program is motivated by the unprecedented advances in the combinatorial solving techniques over the past three decades, often called as NP revolution , owing to the focus on the fundamental problem in Nondeterministic Polynomial (NP) time complexity: satisfiability (SAT). The NP revolution offer
Wonderings of a SAT geek | A blog about SAT solving and cryptography
Jiong Yang
Yash Pote
BIOGRAPHY - anna latour
Arijit Shaw
Teodora Baluta
Kuldeep Meel
Jaroslav Bendík
Yash Pote
Uddalok Sarkar
BIOGRAPHY - anna latour
Suwei Yang