NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science's Books

Satisfiability Problem: Theory and Applications

Theory and Applications : DIMACS Workshop, March 11-13, 1996

By: Dingzhu Du,Jun Gu,Panos M. Pardalos,NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science

Write a review Read reviews Take a Quiz Solve Book Puzzle

Satisfiability Problem: Theory and Applications

Theory and Applications : DIMACS Workshop, March 11-13, 1996

By: Dingzhu Du,Jun Gu,Panos M. Pardalos,NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science

The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. There has been a strong relationship between the theory, the algorithms and the applications of the SAT problem. This book aims to bring together work by the best theorists, algorithmists, and practitioners working on the sat problem and on industrial applications, as well as to enhance the interaction between the three research groups. The book features the applications of theoretical/algorithmic results to practical problems and presents practical examples for theoretical/algorithmic study. Major topics covered in the book include practical and industial SAT problems and benchmarks, significant case studies and applications of the SAT problem and SAT algorithms, new algorithms and improved techniques for satisfiability testing, specific data structures and implementation details of the SAT algorithms, and the theoretical study of the SAT problem and SAT algorithms.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

743

Publisher

American Mathematical Soc.

Published Date

ISBN 10

0821804790

ISBN 13

9780821804797

Major Award Decisionmaking at the National Science Foundation

By: Institute of Medicine,National Academy of Engineering,National Academy of Sciences,Committee on Science, Engineering, and Public Policy,Panel on NSF Decisionmaking for Major Awards

Write a review Read reviews Take a Quiz Solve Book Puzzle

Major Award Decisionmaking at the National Science Foundation

By: Institute of Medicine,National Academy of Engineering,National Academy of Sciences,Committee on Science, Engineering, and Public Policy,Panel on NSF Decisionmaking for Major Awards

As part of its mission to foster high-quality scientific and engineering research, the National Science Foundation (NSF) plans, grants, and administers major awards to universities and other research institutions for national research facilities, multidisciplinary research centers, and other large-scale research projects. Although few in number, less than 100, such projects account for about 30 percent of NSF's annual research budget. This book provides a useful overview of how such projects are planned, reviews proposals for merit, and evaluates ongoing projects for renewal awards. The panel makes a series of recommendations for strengthening major award decisionmaking.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

175

Publisher

National Academies Press

Published Date

ISBN 10

0309050294

ISBN 13

9780309050296

Satisfiability Problem: Theory and Applications

Theory and Applications : DIMACS Workshop, March 11-13, 1996

By: Dingzhu Du,Jun Gu,Panos M. Pardalos,NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science

Write a review Read reviews Take a Quiz Solve Book Puzzle

Satisfiability Problem: Theory and Applications

Theory and Applications : DIMACS Workshop, March 11-13, 1996

By: Dingzhu Du,Jun Gu,Panos M. Pardalos,NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

743

Publisher

American Mathematical Soc.

Published Date

ISBN 10

0821804790

ISBN 13

9780821804797

Coding and Quantization

DIMACS/IEEE Workshop, October 19-21, 1992

By: Robert Calderbank,G. David Forney

Write a review Read reviews Take a Quiz Solve Book Puzzle

Coding and Quantization

DIMACS/IEEE Workshop, October 19-21, 1992

By: Robert Calderbank,G. David Forney

This volume contains the proceedings of the DIMACS/IEEE workshop on coding and quantization. The theme of the workshop was the application of discrete mathematics to reliable data transmission and source compression. These applications will become more significant in the coming years, with the advent of high-capacity cellular networks, personal communications devices, and the ``wireless office''. The articles are written by experts from industry and from academia. Requiring only a background in basic undergraduate mathematics, this book appeals to mathematicians interested in multidimensional Euclidean geometry (especially lattice theory), as well as to engineers interested in bandwidth efficient communication or vector quantization.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

263

Publisher

American Mathematical Soc.

Published Date

ISBN 10

0821866036

ISBN 13

9780821866030

African Americans in Mathematics

DIMACS Workshop, June 26-28, 1996

By: NSF Science and Technology Center in Discrete Mathem

Write a review Read reviews Take a Quiz Solve Book Puzzle

African Americans in Mathematics

DIMACS Workshop, June 26-28, 1996

By: NSF Science and Technology Center in Discrete Mathem

This volume contains research and expository papers by African-American mathematicians on issues related to their involvement in the mathematical sciences. Little is known, taught, or written about African-American mathematicians. Information is lacking on their past and present contributions and on the qualitative and quantitative nature of their existence in and distribution throughout mathematics. This lack of information leads to a number of questions that have to date remained unanswered. This volume provides details and pointers to help answer some of these questions. Features: Research.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

205

Published Date

ISBN 10

1470439921

ISBN 13

9781470439927

Book's by NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science

Satisfiability Problem: Theory and Applications

Satisfiability Problem: Theory and Applications

Major Award Decisionmaking at the National Science Foundation

Major Award Decisionmaking at the National Science Foundation

Satisfiability Problem: Theory and Applications

Satisfiability Problem: Theory and Applications

Coding and Quantization

Coding and Quantization

African Americans in Mathematics

African Americans in Mathematics

Username

Password

Username

Password

Password again

Birthday

Email