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 ...

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 ...