at Brooklyn College, CUNY

Welcome to the Logic Based Systems Lab

Get to know the Lab's staff Any questions? Contact the Lab

Some Recent Publications

Here you can find out more about the research done in the lab

Recently Published Books

The 2LP Language

Here you can find out more about 2LP

Parallel and Distributed Computing at the Lab.

Many optimization problems are computationally demanding. Solving these problems often require a combination of techniques including parallelization. There are two basic methods for implementing parallelism, message passing and shared memory. Here at the Lab we use both approaches.

Computing Resources at the Lab.

Our resourses give us the computing power that is needed to solve the most demanding optimization problems. Here at the LBS Lab we work with some of the newest technologies. Our heterogeneous network consists of over thirty high-performance workstations running Solaris and/or Windows NT. The network includes several Sun Ultras, Pentium PCs and three Symmetric Multiprocessors:

Tutorial Slides.

Question? Send e-mail to tretkoff@sci.brooklyn.cuny.edu

visitors since

This page is maintained by Vitaliy Grinberg