A fixed point operator for the generalised maximum satisfiability problem
From MaRDI portal
Publication:689970
DOI10.1016/0166-218X(93)90024-IzbMath0783.90102MaRDI QIDQ689970
Publication date: 16 January 1994
Published in: Discrete Applied Mathematics (Search for Journal in Brave)
maximum satisfiability problem; discrete time dynamical system; fixed point operator; truth assignments
90C60: Abstract computational complexity for mathematical programming problems
90C27: Combinatorial optimization
Related Items
Design of a railway scheduling model for dense services, Probabilistic estimates for the generalized maximum satisfiability problem
Cites Work