The.Algorithm.Design.Manual.Springer-Verlag.1998
The.Algorithm.Design.Manual.Springer-Verlag.1998 The.Algorithm.Design.Manual.Springer-Verlag.1998
POSIT - Propositional Satisfiability Testbed POSIT - Propositional Satisfiability Testbed The propositional satisfiability tester POSIT, by Jon W. Freeman, is based on a highly optimized version of the Davis-Putnum procedure. It is available by anonymous ftp from ftp.cis.upenn.edu in /pub/freeman/posit-1.0.tar.Z. ● POSIT (primary FTP site) ● Download Files (local site) Problem Links ● Satisfiability (8) About the Book Send us Mail Go to Main Page This page last modified on Apr 23, 1997. file:///E|/WEBSITE/IMPLEMEN/POSIT/IMPLEMEN.HTM [19/1/2003 1:40:59]
BIPM -- Bipartite Matching Codes BIPM -- Bipartite Matching Codes This directory contains several programs that implement algorithms for bipartite matching in unweighted graphs. Except where noted, all programs were written by Joao Carlos Setubal (setubal@dcc.unicamp.br), who also wrote this documentation. You can use and modify the codes freely, but please acknowledge authorship. If a bibliographic reference is needed, use the following: J. C. Setubal, Sequential and Parallel Experimental Results with Bipartite Matching Algorithms. Technical Report IC-96-09, Institute of Computing, State University of Campinas (Brazil), 1996. A postscript file containing this tech report is in directory techreport, compressed with gzip. It will be easier to understand what each code does if you read the tech report first. ● Original distribution ● Download Files (local site) Problem Links ● Matching (8) About the Book Send us Mail Go to Main Page This page last modified on Apr 23, 1997. file:///E|/WEBSITE/IMPLEMEN/BIPM/IMPLEMEN.HTM [19/1/2003 1:41:00]
- Page 1427 and 1428: file:///E|/WEBSITE/BIBLIO/TESTDATA/
- Page 1429 and 1430: file:///E|/WEBSITE/BIBLIO/TESTDATA/
- Page 1431 and 1432: file:///E|/WEBSITE/BIBLIO/TESTDATA/
- Page 1433 and 1434: file:///E|/WEBSITE/BIBLIO/TESTDATA/
- Page 1435 and 1436: file:///E|/WEBSITE/BIBLIO/TESTDATA/
- Page 1437 and 1438: file:///E|/WEBSITE/BIBLIO/TESTDATA/
- Page 1439 and 1440: file:///E|/WEBSITE/BIBLIO/TESTDATA/
- Page 1441 and 1442: file:///E|/WEBSITE/BIBLIO/TESTDATA/
- Page 1443 and 1444: file:///E|/WEBSITE/BIBLIO/TESTDATA/
- Page 1445 and 1446: file:///E|/WEBSITE/BIBLIO/TESTDATA/
- Page 1447 and 1448: SimPack/Sim++ Simulation Toolkit Si
- Page 1449 and 1450: Fire-Engine and Spare-Parts String
- Page 1451 and 1452: Geolab -- Computational Geometry Sy
- Page 1453 and 1454: Calendrical Calculations Calendrica
- Page 1455 and 1456: David Eppstein's Knuth-Morris-Pratt
- Page 1457 and 1458: Mike Trick's Graph Coloring Resourc
- Page 1459 and 1460: Frank Ruskey's Combinatorial Genera
- Page 1461 and 1462: Arrange - maintainance of arrangeme
- Page 1463 and 1464: LP_SOLVE: Linear Programming Code L
- Page 1465 and 1466: PARI - Package for Number Theory Se
- Page 1467 and 1468: TSP solvers TSP solvers tsp-solve i
- Page 1469 and 1470: PHYLIP -- inferring phylogenic tree
- Page 1471 and 1472: Skeletonization Software (2-D) Skel
- Page 1473 and 1474: agrep - Approximate General Regular
- Page 1475 and 1476: CAP -- Contig Assembly Program CAP
- Page 1477: NAUTY -- Graph Isomorphism NAUTY --
- Page 1481 and 1482: LAPACK and LINPACK -- Linear Algebr
- Page 1483 and 1484: User Comments User Comments Archive
- Page 1485 and 1486: The Algorithm Design Manual Most pr
- Page 1487 and 1488: The Algorithm Design Manual 5.6 War
POSIT - Propositional Satisfiability Testbed<br />
POSIT - Propositional Satisfiability Testbed<br />
<strong>The</strong> propositional satisfiability tester POSIT, by Jon W. Freeman, is based on a highly optimized version<br />
of the Davis-Putnum procedure. It is available by anonymous ftp from ftp.cis.upenn.edu in<br />
/pub/freeman/posit-1.0.tar.Z.<br />
● POSIT (primary FTP site)<br />
● Download Files (local site)<br />
Problem Links<br />
● Satisfiability (8)<br />
About the Book<br />
Send us Mail<br />
Go to Main Page<br />
This page last modified on Apr 23, 1997.<br />
file:///E|/WEBSITE/IMPLEMEN/POSIT/IMPLEMEN.HTM [19/1/2003 1:40:59]