scientific article

zbMATH Open0624.90069MaRDI QIDQ3026753

A. A. Bajzhumanov, Anvar Vasilievich Kabulov

Publication date: 1986

Title of this publication is not available (Why is that?)

zbMATH Keywords

implicit enumerationsystem of Boolean equations

Mathematics Subject Classification ID

Boolean programming (90C09)

Related Items (1)

Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Solution of systems of Boolean equations via the integer domain 👍 👎
• Approximation of Boolean functions by local search 👍 👎
• Approximate solutions of systems of Boolean equations 👍 👎
• Local algorithms for circuits in a Boolean cube 👍 👎
• XOR local search for Boolean Brent equations 👍 👎
• Complete Boolean satisfiability solving algorithms based on local search 👍 👎
• Tools and Algorithms for the Construction and Analysis of Systems 👍 👎
• Local Digital Algorithms Applied to Boolean Models 👍 👎

This page was built for publication:

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