Intel® Software Network

Home › Forums › 3SAT

	Thread Starter	Threads	Last Reply	Replies	Views
	andreyryabov Total Points: 452 Status Points: 402 Green Belt April 23, 2009 3:32 AM PDT	Can't submit 3SAT solution	By Clay Breshears (Intel) On April 27, 2009 11:15 AM PDT	3	2064
	calebe Total Points: 280 Status Points: 230 Green Belt April 23, 2009 6:25 PM PDT	Output format	By Clay Breshears (Intel) On April 27, 2009 11:18 AM PDT	1	1163
	jne100 Total Points: 640 Status Points: 140 Brown Belt April 22, 2009 12:39 PM PDT	Amount of satisfied expressions	By Clay Breshears (Intel) On April 27, 2009 11:29 AM PDT	3	2050
	akki Total Points: 2,720 Status Points: 2,220 Brown Belt April 25, 2009 9:53 PM PDT	What if there is no solution?	By Clay Breshears (Intel) On April 27, 2009 11:33 AM PDT	1	1137
	ikipou Total Points: 90 Status Points: 40 Green Belt April 26, 2009 10:14 AM PDT	All variable are used in the problem?	By Clay Breshears (Intel) On April 27, 2009 12:02 PM PDT	3	2230
	akki Total Points: 2,720 Status Points: 2,220 Brown Belt April 25, 2009 10:02 PM PDT	Can a variable appear in a clause twice?	By akki On April 27, 2009 10:00 PM PDT	4	2637
	nickbes Total Points: 1,030 Status Points: 530 Brown Belt April 27, 2009 5:23 AM PDT	Dimension of variable in input file	By nickbes On April 28, 2009 12:36 AM PDT	3	2036
	mario31415 Total Points: 380 Status Points: 330 Green Belt April 28, 2009 8:42 AM PDT	Sample 3SAT Problems	By Clay Breshears (Intel) On April 29, 2009 8:26 AM PDT	1	1343
	andreyryabov Total Points: 452 Status Points: 402 Green Belt April 23, 2009 3:59 AM PDT	The meaning of the first number in the input file.	By lixianyu On April 30, 2009 2:20 PM PDT	5	2883
	Clay Breshears (Intel) Total Points: 15,225 Status Points: 15,225 Black Belt May 7, 2009 11:00 AM PDT	Some reminders and guidelines for entries	No Posts	0	795
	邓辉 Total Points: 3,850 Status Points: 3,350 Brown Belt May 3, 2009 9:30 AM PDT	My answer is correct?	By 邓辉 On May 7, 2009 6:03 PM PDT	5	3029
	邓辉 Total Points: 3,850 Status Points: 3,350 Brown Belt April 21, 2009 8:50 AM PDT	Size of the input?	By lixianyu On May 8, 2009 6:22 AM PDT	3	2393
	邓辉 Total Points: 3,850 Status Points: 3,350 Brown Belt May 4, 2009 7:33 PM PDT	Can I use the local search algorithm	By andreyryabov On May 13, 2009 1:34 PM PDT	4	2548
	Clay Breshears (Intel) Total Points: 15,225 Status Points: 15,225 Black Belt May 20, 2009 5:17 PM PDT	Scoring Criteria	By haojn On May 25, 2009 1:04 AM PDT	8	7405
	mario31415 Total Points: 380 Status Points: 330 Green Belt April 29, 2009 9:34 AM PDT	Satisfiability Papers	No Posts	0	2381
	lixianyu Total Points: 540 Status Points: 40 Brown Belt May 7, 2009 10:43 AM PDT	Is there a 3SAT algorithm	By rehana1 On November 2, 2009 5:00 PM PST	1	1324

  Hot Thread with no new post.
  Hot Thread with new post.
  Thread with no new post.
  Thread with new post.
  Thread is under moderation