BaxMC - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

Logiciel Année : 2022

BaxMC

(1) , (1) , (1) , (1) , (1)

1

Thomas Vigouroux

Fonction : Auteur
PersonId : 1162762
IdHAL : thomas-vigouroux
ORCID : 0000-0001-6396-0285

VERIMAG

Cristian Ene

Fonction : Auteur
PersonId : 1162818
ORCID : 0000-0001-6322-0383
IdRef : 061177229

VERIMAG

David Monniaux

Fonction : Auteur
PersonId : 9093
IdHAL : david-monniaux
ORCID : 0000-0001-7671-6126
IdRef : 070681600

VERIMAG

Laurent Mounier

Fonction : Auteur
PersonId : 1275636
ORCID : 0000-0001-9925-098X
IdRef : 080278302

VERIMAG

Marie-Laure Potet

Fonction : Auteur
PersonId : 1162819
ORCID : 0000-0002-7070-6290
IdRef : 034097600

VERIMAG

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

Max#SAT

Domaines

Logique en informatique [cs.LO]

Thomas Vigouroux : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04247158

Soumis le : jeudi 19 octobre 2023-16:31:57

Dernière modification le : jeudi 4 avril 2024-21:21:47

Dates et versions

hal-04247158 , version 1 (19-10-2023)

Identifiants

HAL Id : hal-04247158 , version 1
SWHID : swh:1:dir:c27fbd27ad4d26ff8f1ab8ca911349793f118f27;origin=https://hal.archives-ouvertes.fr/hal-04247158;visit=swh:1:snp:edf305d95bbf42bf523a70c51083e3a8258a8d2b;anchor=swh:1:rel:e1876e56dd5aece8a8665acb4ee643e1989804f5;path=/

version :
Licences : CeCILL-B Free Software License Agreement
Langage de programmation : C++20
Code Repository : https://gricad-gitlab.univ-grenoble-alpes.fr/tava/baxmc

Citer

Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet. BaxMC. 2022, ⟨swh:1:dir:c27fbd27ad4d26ff8f1ab8ca911349793f118f27;origin=https://hal.archives-ouvertes.fr/hal-04247158;visit=swh:1:snp:edf305d95bbf42bf523a70c51083e3a8258a8d2b;anchor=swh:1:rel:e1876e56dd5aece8a8665acb4ee643e1989804f5;path=/⟩. ⟨hal-04247158⟩

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS VERIMAG PERSYVAL-LAB ANR

51 Consultations

7 Téléchargements

Partager