Skip to content

Random IT Utensils

IT, operating systems, maths, and more.

  • Applied Integer Linear Programming
  • .NET Internals Cookbook
  • Bio
  • Series and interesting posts
  • Talks, Papers, Workshops
    • Async Biggest C# Mistake
    • Async With Coroutines and Fibers in C#
    • Bridging the World Together
    • Debugging Memory Leaks in .NET
    • DLL Injection in Windows
    • Exploring memory in .NET
    • From Bulb to High Level Language
    • Generics everywhere
    • Hacking C# From the Inside
    • Integer Linear Programming
    • Internals of Async
    • Internals of Exceptions
    • Locks are tricky
    • Manual Memory Management
    • MOV, async, DSL – are they connected?
    • Ordering the Chaos
    • Public Speaking
    • Testing at Scale
    • Understanding async machinery down to a single detail
    • Understanding Windows and .NET

Tag: SAT

SAT Part 3 — Reducing ILP to SAT

November 13, 2021July 20, 2021 ~ afish ~ 1 Comment

This is the third part of the SAT series. For your convenience you can find other parts in the table of contents in Part 1 — Boolean logic Today we are going to reduce ILP to SAT. Introduction Depending on the solver, typical ILP supports the following operations: Adding two variables Negating variable Subtracting variables … Continue reading SAT Part 3 — Reducing ILP to SAT

SAT Part 2 — Arithmetic

November 6, 2021July 19, 2021 ~ afish ~ 1 Comment

This is the second part of the SAT series. For your convenience you can find other parts in the table of contents in Part 1 — Boolean logic Today we’re going to implement some basic arithmetic in SAT. Addition We assume numbers are represented using U2 scheme. All we need to do is to implement … Continue reading SAT Part 2 — Arithmetic

SAT Part 1 — Boolean logic

October 30, 2021November 13, 2021 ~ afish ~ 2 Comments

This is the first part of the SAT series. For your convenience you can find other parts using the links below: SAT Part 1 — Boolean logic SAT Part 2 — Arithmetic Part 3 — Reducing ILP to SAT Today we are going to implement some Boolean logic in SAT. Equal and not equal Let’s … Continue reading SAT Part 1 — Boolean logic

Recent Posts

  • ILP Part 102 — Gamic Square
  • ILP Part 101 — Polyominoes
  • ILP Part 100 — Literowce
  • ILP Part 99 — MacMahon Squares
  • ILP Part 98 — Horrendum 2

Categories

  • Administration
  • Coding
  • Computer Science
  • Databases
  • Debugging
  • Math

Archive

  • October 2022 (5)
  • September 2022 (4)
  • August 2022 (4)
  • July 2022 (5)
  • June 2022 (4)
  • May 2022 (4)
  • April 2022 (5)
  • March 2022 (4)
  • February 2022 (4)
  • January 2022 (5)
  • December 2021 (4)
  • November 2021 (4)
  • October 2021 (5)
  • September 2021 (4)
  • August 2021 (4)
  • July 2021 (5)
  • June 2021 (4)
  • May 2021 (5)
  • April 2021 (4)
  • March 2021 (4)
  • February 2021 (4)
  • January 2021 (5)
  • December 2020 (4)
  • November 2020 (4)
  • October 2020 (5)
  • September 2020 (4)
  • August 2020 (5)
  • July 2020 (4)
  • June 2020 (4)
  • May 2020 (5)
  • April 2020 (4)
  • March 2020 (4)
  • February 2020 (5)
  • January 2020 (4)
  • December 2019 (4)
  • November 2019 (5)
  • October 2019 (4)
  • September 2019 (4)
  • August 2019 (5)
  • July 2019 (4)
  • June 2019 (5)
  • May 2019 (4)
  • April 2019 (4)
  • March 2019 (5)
  • February 2019 (5)
  • January 2019 (4)
  • December 2018 (5)
  • November 2018 (4)
  • October 2018 (4)
  • September 2018 (5)
  • August 2018 (4)
  • July 2018 (4)
  • June 2018 (5)
  • May 2018 (4)
  • April 2018 (4)
  • March 2018 (5)
  • February 2018 (4)
  • January 2018 (4)
  • December 2017 (5)
  • November 2017 (4)
  • October 2017 (4)
  • September 2017 (5)
  • August 2017 (4)
  • July 2017 (5)
  • June 2017 (4)
  • May 2017 (4)
  • April 2017 (5)
  • March 2017 (4)
  • February 2017 (4)
  • January 2017 (4)
  • December 2016 (5)
  • November 2016 (4)
  • October 2016 (5)
  • September 2016 (4)
  • August 2016 (4)
  • July 2016 (5)
  • June 2016 (4)
  • May 2016 (4)
  • April 2016 (5)
  • March 2016 (4)
  • February 2016 (4)
  • January 2016 (5)
  • December 2015 (4)
  • November 2015 (4)
  • October 2015 (5)
  • September 2015 (4)
  • August 2015 (3)

RSS Posts

  • ILP Part 102 — Gamic Square October 29, 2022
  • ILP Part 101 — Polyominoes October 22, 2022
  • ILP Part 100 — Literowce October 15, 2022