The team's automated reasoning research aims to build algorithms that allow computers to perform logical reasoning. The output of these algorithms is traditionally binary: satisfiable or unsatisfiable ...

Many engineering challenges come down to the same headache—too many knobs to turn and too few chances to test them. Whether ...

Some 15,000 New York nurses will strike at the city’s major privately-run hospitals Monday unless there’s a last-minute new union contract or break in lengthy and personal labor dispute. The New York ...

ABSTRACT: Multi-objective optimization remains a significant and realistic problem in engineering. A trade-off among conflicting objectives subject to equality and inequality constraints is known as ...

Abstract: The progressive edge-growth (PEG) algorithm is a general method to construct short low-density parity-check (LDPC) codes and it is a greedy method to place each edge with large girths. In ...

Creative Commons (CC): This is a Creative Commons license. Attribution (BY): Credit must be given to the creator. Non-Commercial (NC): Only non-commercial uses of the work are permitted. No ...

ABSTRACT: The Efficient Market Hypothesis postulates that stock prices are unpredictable and complex, so they are challenging to forecast. However, this study demonstrates that it is possible to ...