Solution and Optimization of Systems of Pseudo-Boolean Constraints

DOI10.1109/TC.2007.1075MaRDI QIDQ4564226zbMATH OpenOpenAlexFDO

Authors Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov

Publication date 12 June 2018

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tc.2007.1075

Mathematics Subject Classification ID

Cited in

(5)

• Pseudo-Boolean optimization with a disjunctive constraint
• Boolean Methods of Optimization over Independence Systems
• scientific article; zbMATH DE number 5139165 (Why is no real title available?)
• О структуре решений системы из линейных псевдобулевых неравенств
• scientific article; zbMATH DE number 5263038 (Why is no real title available?)

Describes a project that uses

Uses Software

• PBS

This page was built for publication: Solution and Optimization of Systems of Pseudo-Boolean Constraints

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