Kelson Martins
user

Kelson Martins

Software engineer. Geek. Traveller. Wannabe athlete. Lifelong student. Works at IBM and hosts the @HardcodeCast.

Posts

Navigation
Tagalgorithms
Featured

Programming

Binary Search Algorithms with Examples

Posted byuserKelson on June 7th, 2022.

Introduction In recent days, I have been refreshing my knowledge by having some fun solving problems in leetcode and this post marks the start of a series of posts related to general algorithmic challenges I may encounter and find interesting to share. This article presents details about three leetcode algorithm problems that were...

Featured

Programming

Boolean Satisfiability Problem Checker

Posted byuserKelson on March 8th, 2021.

Introduction Recently I have worked with Boolean Satisfiability Problems and techniques to solve them efficiently. I found the topic extremely interesting, so I produced this article as the first of a series on how to solve SAT problems with a few different meta-heuristic techniques. All SAT solver algorithms have something in common:...