A fixed point operator for the generalised maximum satisfiability problem
type: Item
instance of: scholarly article
title: A fixed point operator for the generalised maximum satisfiability problem
zbMATH Open document ID: 0783.90102
DOI: 10.1016/0166-218X(93)90024-I
published in: Discrete Applied Mathematics
publication date: 1994-01-16T00:00:00Z
Mathematics Subject Classification ID: 90C27
Mathematics Subject Classification ID: 90C60
zbMATH DE Number: 446808
zbMATH Keywords: fixed point operator
zbMATH Keywords: maximum satisfiability problem
zbMATH Keywords: discrete time dynamical system
zbMATH Keywords: truth assignments
author: Maurice Cochand
MaRDI profile type: Publication
cites work: Q3475303
cites work: Future paths for integer programming and links to artificial intelligence
cites work: Algorithms for the maximum satisfiability problem
cites work: Q3908823
cites work: Q3781511
cites work: Q5526189
cites work: Q3777423
description: scientific article; zbMATH DE number 446808