BaxMC - Archive ouverte HAL Accéder directement au contenu
Logiciel Année : 2022

BaxMC

Thomas Vigouroux
Cristian Ene
David Monniaux
Laurent Mounier
Marie-Laure Potet

Résumé

This software is a computer program whose purpose is to, given a boolean formula as well as the specific role each of the variables appearing in the formula should be considered, find the assignement that maximizes the number of models of the formula over some set of variables.

Mots clés

26 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More