BaxMC - Archive ouverte HAL Access content directly
Software Year : 2022

BaxMC

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

Abstract

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.

Keywords

27 View
0 Download

Share

Gmail Facebook X LinkedIn More