|
MAT Solver Suite
MAT Solver Suite is a Research initiative and pletora of related products, pertaining to automatically solving hard problems. These include finding solutions to satisfiability problems (boolean circuit / formula), solving gametheoratical game instances and automatically finding algorithms to solve verifiable problems.
The solutions are based on new approaches to automatic and hybrid problem solving, based on Mircea Digulescu's paper "Towards Solving NP-Complete and Other Hard Problems in Practice", available on the Research Page.
top
MAT SAT Solver
MAT SAT Solver is a scientific project and related product by Mircea Digulescu to address the P=NP problem of boolean satisfiability using the techniques introduced in "Towards Solving NP-Complete and other hard problems in practice" (see non-peer reviewed published papers on the Research Page and mirrored here) and others. These involve a mix of Machine Learning AI, classical Algorithms & Datastructures and lots of data, combined with good computing power.
Applications are especially in Cryptography, Optimizations and some Military Games.
MAT SAT Solver will be usable to test the apparenty security of ciphers.. of course, starting with SKREM-like ciphers and AES.
top
MAT Game Solver Suite
MAT Game Solver suite is a scientific project and related series of products by Mircea Digulescu to solve [computer theoretical] games, especially graph-change games. At times, this suite can leverage MAT SAT Solver as well, along side MAT Basic Datastructures and Algorithms Library. The Suite will of course include AI assisted features and leverage machine learning extensively where applicable.
Particular games of interests are
- Power Graph games - helping make organizations and state structures resilient by design against infiltrators and traitorship using game theoretical means.
- Winning wars of attrition (multi-resource games of success).
- Drone mash Penetration and k-Servers.
- Bipartite Matching Markets economic games of Ultimatum.
In this context, Mircea Digulescu has already published a trivial Financial Investment Bankroll Manager as a proof of concept for a simple game detailed on the Research Page, here and published on GitHub here. The full source code and binares are also available for download on the Downloads Page.
top
MAT Problem Solver
MAT Problem Solver suite is a scientific project and related product by Mircea Digulescu to solve [computer theoretical] verifiable problems automatically. This means to produce some source code (eg. in C# or in C++) which solves the problem accurately enough, sufficiently fast, for all [relevant] inputs - automatically. You just input the verifier and the product produces for example C# source code which solves the problem.
This Product is envisioned to leverage on MAT SAT Solver, MAT Game Solver as well as heavily on AI Models, including language models (used for theory generation, not input processing).
Call for Action
Contact Mircea Digulescu at mircea.digulescu@mail.ru (preferred) or at mircea.digulescu@gmail.com or via Telegram/WhatsApp/Viber at +40736.617.391 to become a customer of, partner with, invest in, or interact with any of these products. Additional contact details may be available on the Contact Page.
Note that all the software products of the SKREM-Suite and of the BlockChain and FinTech are / will be open-source, licensed under the General Digulescian License (GDL). This is a rather permissive license which allows you to create derived works but only for yourself and is also free of charge for physical person individual use, outside a professional or systematic context. Beyond that prices for individuals are about $250 (in BTC preferred) and for organizations about $25,000 per (headcount + business figure/$100,000 + AUM or NBV/$1,000,000), except some select Western-block organizations which are charged much more unless they Contact Mircea to obtain a different license.
You are encouraged to use the Downloads Page to download any available products (including their source code). Where applicable you will of course need to read and agree with the license terms first.
Even before the products are ready,
Please consider Donating. It will be great if, instead of boot-strapping, support from smart donations such as by yourself could be leveraged. Please see Contact Mircea to donate: BTC and fiat transfers in RUB are accepted. A BTC donation of 100-200 USD will mean a lot to him and his activism. Especially if you were able to repeat the gesture once in a while.
To donate in use the following BTC address: bc1qtgt8ctz3ffd95dwxux3wed6nlq3r5mhhzg98zp.
To donate in RUB use the following MIR card number: 2202 2023 9828 3287.
To donate in any other currency, please use an online service such as Telegram Wallet, Binance or others or make use of an offline exchange or BTC ATM machine, like for example cryptoatm.ro to donate in BTC to the address above.
Please see the Contact Page for additional details, including how to donate in BTC. Note that the above adddreses and card numbers will change once in a while. Make sure you ar visiting the latest version of this page or of the Contact Page.
top
|
| Documente |
Contact Mircea for buying, supporting or investing in any of these products using the coordinates on the Contact Page.
See the Crytology, Game Theory and Complexity Theory papers published by Mircea Digulescu on the Research Page.
Download the freely available Personal-Use-Only licensed Products using Downloads Page.
Download the following relevant documents:
Download the following relevant documents:
Download the following relevant documents:
top
|
Please consider donating. It will be great if, instead of boot-strapping, support from smart donations such as by yourself could be leveraged. Please see Contact Page to donate.
BTC (Bitcoin) and fiat transfers in RUB are accepted. A BTC donation of 150-300 USD will mean a lot to Mircea and his activity. Some reasons for donating: You appreciate Mircea's stances, the content of published document, the products and services he brings to the market, his activities, or, simply you appreciate Mircea himself as a person, are curious "just to see what happens next", or choose to donate "just because".
Donate now: Contact Page.
top
|
|
|
