	Search		Browse		Templates		Query

[paper]

paperid	title	year	banks_node_id
conf/ictai/StuckeyZ03	Improving Nogood Recording Using 2SAT.	2003	957068

Click here to go back to the BANKS homepage.

About BANKS - Help - People - Publications

IIT Bombay > CSE Department > Informatics Lab
Comments: {sudarsha} [at] cse.iitb.ac.in {soumen} [at] cse.iitb.ac.in