Search results

Increased precision for probabilities close to 0 ?

Status: Open.

#23 In NTU-ALComLab/ssatABC;

· symphorien opened on Apr 13, 2022

Lower bound is 0

Status: Open.

#21 In NTU-ALComLab/ssatABC;

· mahi045 opened on Mar 21, 2022

Weighted existential variables

enhancement

Status: Open.

#17 In NTU-ALComLab/ssatABC;

· vuphan314 opened on Nov 3, 2021

Wrong solution for ER test case <code>rand-3-40-160-20.71.sdimacs</code>

bug

Status: Open.

#16 In NTU-ALComLab/ssatABC;

· vuphan314 opened on Aug 29, 2021

Wrong answer if some unit clauses of variables in e1 level

bug

Status: Open.

#11 In NTU-ALComLab/ssatABC;

· qmo1222 opened on Dec 15, 2020

Wrong result on test case <code>MaxSAT-keller4-1212.clq.wcnf.sdimacs</code>

bug

Status: Open.

#3 In NTU-ALComLab/ssatABC;

· nianzelee opened on Sep 4, 2020