Programmatic solution to the Einstein problem
-
Updated
Sep 7, 2020 - Java
Programmatic solution to the Einstein problem
This repository contains my solutions to various problems proposed in Hackerrank.
Repositório criado para registrar as questões criadas por mim para a monitoria de introdução a programação.
Sharpen Your Mind with Interactive Sudoku: Logic Puzzles for Everyone
Please checkout the number guessing game by hitting the following URL. Have fun!
Research experience
Frontend application in order to develop UI skills and implementation of the elevator's electronic mechanism.
Refutation Prover for FOL using First-Order Resolution
Dynamic generation of robot behaviors in the RoboCup SPL setting from LTL or PDDL + PLTLf rules (Published in RoboCup 2022 Symposium)
The solution to the famous FizzBuzz game / question.
MVP built with React for fictitious company to help with daily arithmetic calculations.
Sum Limit is a logical problem based on the sum of two given digits. If the sum of the two digits has the same number of digits as the first given digit, return the sum of the two. If the sum has More digits than the first given digit return the first given digit only.
My first SMT solver (only QF_UF)
Probing handling of verbal probabilities in NLP models
Repo created to archive my studies and presentations created in my journey studying the Java back-end Roadmap
A Reverse Approach to Training Reading Comprehension and Logical Reasoning Models
The source code for #5 in the Logical Reasoning Reading Comprehension Leaderboard `ReClor`.
Add a description, image, and links to the logical-reasoning topic page so that developers can more easily learn about it.
To associate your repository with the logical-reasoning topic, visit your repo's landing page and select "manage topics."