User talk:Tamkin04iut

Disambiguation link notification for April 20
Hi. Thank you for your recent edits. Wikipedia appreciates your help. We noticed though that when you edited Conflict Driven Clause Learning, you added a link pointing to the disambiguation page Restart (check to confirm | fix with Dab solver). Such links are almost always unintended, since a disambiguation page is merely a list of "Did you mean..." article titles. Read the FAQ* Join us at the DPL WikiProject.

It's OK to remove this message. Also, to stop receiving these messages, follow these opt-out instructions. Thanks, DPL bot (talk) 12:17, 20 April 2013 (UTC)

CDCL Images
Thanks for your images at Conflict-driven clause learning. A friend has pointed out to me that there is a minor problem with and later - there is some text underneath and partially obscuring the X2=0 in the lower left corner. Is there something you can do about that? --Stephan Schulz (talk) 13:30, 23 May 2020 (UTC)