4.3 Article

Revisiting maximum satisfiability and related problems in data streams

Related references

Note: Only part of the references are listed.
Article Computer Science, Artificial Intelligence

A constraint optimization approach to causal discovery from subsampled time series data

Antti Hyttinen et al.

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING (2017)

Article Computer Science, Theory & Methods

GREEDY ALGORITHMS FOR THE MAXIMUM SATISFIABILITY PROBLEM: SIMPLE ALGORITHMS AND INAPPROXIMABILITY BOUNDS

Matthias Poloczek et al.

SIAM JOURNAL ON COMPUTING (2017)

Article Computer Science, Hardware & Architecture

Automated Design Debugging With Maximum Satisfiability

Yibin Chen et al.

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS (2010)

Article Computer Science, Hardware & Architecture

Some optimal inapproximability results

J Håstad

JOURNAL OF THE ACM (2001)