<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0">
  <channel>
    <title>Sergii Dymchenko</title>
    <link>http://sdymchenko.com/</link>
    <description></description>
    <pubDate>Mon, 07 Sep 2020 02:12:20 PDT</pubDate>
    <lastBuildDate>Mon, 07 Sep 2020 02:12:20 PDT</lastBuildDate>
    <docs>http://www.rssboard.org/rss-specification</docs>
    <generator>Org-page static site generator (https://github.com/kelvinh/org-page)</generator>
    <item>
      <title>Beating ZX Spectrum game &quot;Logo: Part 1&quot; with Picat</title>
      <link>http://sdymchenko.com/blog/2016/05/14/logo-part1-picat/</link>
      <description>Beating ZX Spectrum game &quot;Logo: Part 1&quot; with Picat.</description>
      <pubDate>2016-05-15</pubDate>
      <guid>http://sdymchenko.com/blog/2016/05/14/logo-part1-picat/</guid>
    </item>
    <item>
      <title>&quot;Introduction to tabled logic programming with Picat&quot; in &quot;Linux Journal&quot;</title>
      <link>http://sdymchenko.com/blog/2015/08/30/picat-linux-journal/</link>
      <description>&quot;Introduction to tabled logic programming with Picat&quot; in &quot;Linux Journal&quot;.</description>
      <pubDate>2015-11-04</pubDate>
      <guid>http://sdymchenko.com/blog/2015/08/30/picat-linux-journal/</guid>
    </item>
    <item>
      <title>&quot;Declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system&quot; paper on SAC&#39;15</title>
      <link>http://sdymchenko.com/blog/2015/04/18/gcj-eclipse-sac15/</link>
      <description>&quot;Declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system&quot; paper on SAC&#39;15.</description>
      <pubDate>2015-08-30</pubDate>
      <guid>http://sdymchenko.com/blog/2015/04/18/gcj-eclipse-sac15/</guid>
    </item>
    <item>
      <title>Solving &quot;Vietnam snake&quot; puzzle with constraint logic programming</title>
      <link>http://sdymchenko.com/blog/2015/05/29/snake-puzzle-eclipse/</link>
      <description>Solving &quot;Vietnam snake&quot; puzzle with constraint logic programming and ECLiPSe CLP.</description>
      <pubDate>2015-05-29</pubDate>
      <guid>http://sdymchenko.com/blog/2015/05/29/snake-puzzle-eclipse/</guid>
    </item>
    <item>
      <title>Solving PuzzlOR &quot;Coins&quot; puzzle with constraint logic programming</title>
      <link>http://sdymchenko.com/blog/2015/04/21/coins-eclipse/</link>
      <description>Solving PuzzlOR &quot;Coins&quot; puzzle with constraint logic programming and ECLiPSe CLP.</description>
      <pubDate>2015-04-23</pubDate>
      <guid>http://sdymchenko.com/blog/2015/04/21/coins-eclipse/</guid>
    </item>
    <item>
      <title>Solving Pentagonal Peg Solitaire puzzle with Picat</title>
      <link>http://sdymchenko.com/blog/2015/03/18/pentagonal-peg-solitare-picat/</link>
      <description>Solving Pentagonal Peg Solitaire puzzle with Picat.</description>
      <pubDate>2015-03-18</pubDate>
      <guid>http://sdymchenko.com/blog/2015/03/18/pentagonal-peg-solitare-picat/</guid>
    </item>
    <item>
      <title>Solving PuzzlOR &quot;Electrifying&quot; puzzle with constraint logic programming</title>
      <link>http://sdymchenko.com/blog/2015/03/13/electrifying-eclipse/</link>
      <description>Solving PuzzlOR &quot;Electrifying&quot; puzzle with constraint logic programming and ECLiPSe CLP.</description>
      <pubDate>2015-03-13</pubDate>
      <guid>http://sdymchenko.com/blog/2015/03/13/electrifying-eclipse/</guid>
    </item>
    <item>
      <title>Artificial intelligence planning with Picat</title>
      <link>http://sdymchenko.com/blog/2015/01/31/ai-planning-picat/</link>
      <description>Artificial intelligence planning with Picat.</description>
      <pubDate>2015-01-31</pubDate>
      <guid>http://sdymchenko.com/blog/2015/01/31/ai-planning-picat/</guid>
    </item>
    <item>
      <title>Diet problem in Picat</title>
      <link>http://sdymchenko.com/blog/2014/11/05/diet-problem-picat/</link>
      <description>Solution for &quot;Diet problem&quot; in Picat</description>
      <pubDate>2015-01-28</pubDate>
      <guid>http://sdymchenko.com/blog/2014/11/05/diet-problem-picat/</guid>
    </item>
    <item>
      <title>Facebook Hacker Cup 2015 Round 1: full score with Python, Prolog, and GAP</title>
      <link>http://sdymchenko.com/blog/2015/01/19/hacker-cup-2015-round1-python-prolog-gap/</link>
      <description>Facebook Hacker Cup 2015 Round 1: full score with Python, Prolog, and GAP.</description>
      <pubDate>2015-01-20</pubDate>
      <guid>http://sdymchenko.com/blog/2015/01/19/hacker-cup-2015-round1-python-prolog-gap/</guid>
    </item>
  </channel>
</rss>