A fixed point operator for the generalised maximum satisfiability problem

DOI10.1016/0166-218X(93)90024-IMaRDI QIDQ689970zbMATH OpenFDO

Authors Maurice Cochand

Publication date 16 January 1994

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

zbMATH Keywords

discrete time dynamical systemmaximum satisfiability problemfixed point operatortruth assignments

Mathematics Subject Classification ID

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

Recommendations

• Algorithms for the maximum satisfiability problem
• scientific article; zbMATH DE number 956866
• A new greedy randomised adaptive search procedure for solving the maximum satisfiability problem
• Probabilistic bounds and algorithms for the maximum satisfiability problem
• On the Approximation of Maximum Satisfiability

Cites work

• scientific article; zbMATH DE number 4144029 (Why is no real title available?)
• scientific article; zbMATH DE number 4039250 (Why is no real title available?)
• scientific article; zbMATH DE number 4042465 (Why is no real title available?)
• scientific article; zbMATH DE number 3718924 (Why is no real title available?)
• scientific article; zbMATH DE number 3238721 (Why is no real title available?)
• Algorithms for the maximum satisfiability problem
• Future paths for integer programming and links to artificial intelligence

Cited in

(4)

• Generalized satisfiability problems via operator assignments
• Probabilistic estimates for the generalized maximum satisfiability problem
• Design of a railway scheduling model for dense services
• Timescales of Boolean satisfiability solver using continuous-time dynamical system

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q689970)