A fixed point operator for the generalised maximum satisfiability problem

DOI10.1016/0166-218X(93)90024-IzbMath0783.90102MaRDI QIDQ689970

Maurice Cochand

Publication date: 16 January 1994

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

zbMATH Keywords

maximum satisfiability problemdiscrete time dynamical systemfixed point operatortruth assignments

Mathematics Subject Classification ID

Abstract computational complexity for mathematical programming problems (90C60) Combinatorial optimization (90C27)

Related Items (2)

Probabilistic estimates for the generalized maximum satisfiability problem ⋮ Design of a railway scheduling model for dense services

Cites Work

• Algorithms for the maximum satisfiability problem
• Future paths for integer programming and links to artificial intelligence
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A fixed point operator for the generalised maximum satisfiability problem