Combinatorial Decision Making and Optimization project on Very Large Scale Integration (VLSI) with Constraint Programming (CP), propositional SATisfiability (SAT), and Satisfiability Modulo Theories (SMT)
Integral Analysis Based on Monomial Prediction
An easy way to copy files from/to containers running on Kubernetes
Competitive Programming questions and their solutions from various sources including LeetCode, Hackerrank, Google Kickstart, Codechef and more platforms.
LOGIA is an informatics (computer science) competition for students of schools in the Mazowieckie Province (Poland).
This project aims to enhance CodeForces user's performance by providing specific bugaboos :P to practice
Daily Practice problem solving
This project, also known as the Vehicle Routing Problem (VRP), addresses the Multiple Couriers Planning (MCP) problem using Constraint Programming (CP), Satisfiability Modulo Theories (SMT), and Mixed-Integer Linear Programming (MIP) to optimize courier routes efficiently.
Combinatorial optimization project for the Multiple Couriers Problem (MCP).
Archive of Competitive Programming Contests hosted by IIITV CC
This repository contains the solution of the Multiple Couriers Planning (MCP) problem using several technique (SAT, MIP, SMT, CP) for Combinatorial Decision Making and Optimization 2023/2024 course
Add a description, image, and links to the cp topic page so that developers can more easily learn about it.
To associate your repository with the cp topic, visit your repo's landing page and select "manage topics."