Related references
Note: Only part of the references are listed.A constraint optimization approach to causal discovery from subsampled time series data
Antti Hyttinen et al.
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING (2017)
GREEDY ALGORITHMS FOR THE MAXIMUM SATISFIABILITY PROBLEM: SIMPLE ALGORITHMS AND INAPPROXIMABILITY BOUNDS
Matthias Poloczek et al.
SIAM JOURNAL ON COMPUTING (2017)
Automated Design Debugging With Maximum Satisfiability
Yibin Chen et al.
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS (2010)
Some optimal inapproximability results
J Håstad
JOURNAL OF THE ACM (2001)