LOGIC BASED SYSTEMS LAB

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

Optimization and Computational Logic

This book is published by John Wiley & Sons.
You can order the book by phone: (800) 879-4539 or via Internet: John Wiley & Son.

The 2LP Language

Here you can find out more about 2LP

2LP Manual
2LP Models

List of Models
Download the entire set of models in [ ZIP format | GZip format | Unix Compress format ]

2LP Executables
6 versions of 2LP are currently avaliable:

LINUX [ ZIP format | GZip format | Unix Compress format ]
MS Windows [ ZIP format | RAR format ] If you are using Win 3.0 or Win3.1(3.11) you need win32s to run 2LP. You can get it from Microsoft Corp.
RS6000 [ ZIP format | GZip format | Unix Compress format ]
SGI [ ZIP format | GZip format | Unix Compress format ]
SOLARIS [ ZIP format | GZip format | Unix Compress format ]
SUNOS [ ZIP format | GZip format | Unix Compress format ]

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.

Message passing libraries such as PVM, MPI, and DP are used to distribute a problem over our network of workstations. This allows us to solve computationally demanding problems by using the aggregate power and memory of many computers. In effect, this creates a virtual supercomputer.
Our computing resources include three shared-memory multiprocessors. Threads are used to exploit the underlying hardware of these machines. Our multiprocessor machines run different operating systems and thus various thread implementations have been used, such as Solaris, Windows NT, and POSIX. All have been found to provide an easy way to efficiently parallelize a difficult problem.

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:

Louis	Sun Ultra Enterprise 4000 running Solaris 14 UltraSPARC 250 Mhz CPUs 1.8 Gigabytes RAM
Houis	SMP PC running WIndows NT & Solaris 4 Pentium Pro 200 MHz CPUs 512 Megabytes RAM
Kronos	SMP PC running Windows NT & Free BSD 4 Pentium Pro 200 MHz CPUs 128 Megabytes RAM

Tutorial Slides.

CSTS Dallas 1996.
Click here to download the file in PostScript format.
CP96 Cambridge 1996.
Click here to download the file in PostScript format.

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

visitors since

This page is maintained by Vitaliy Grinberg