A fixed point operator for the generalised maximum satisfiability problem

DOI10.1016/0166-218X(93)90024-IzbMATH Open0783.90102MaRDI QIDQ689970FDOQ689970

Authors: Maurice Cochand 

Publication date: 16 January 1994

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

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

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)

Cites Work

• Title not available (Why is that?)
• Future paths for integer programming and links to artificial intelligence
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algorithms for the maximum satisfiability problem
• Title not available (Why is that?)
• Title not available (Why is that?)

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)