|
|
|
|
| LEADER |
01171nam a2200229 a 4500 |
| 001 |
490479 |
| 005 |
20171111225918.0 |
| 008 |
950922s1996 maua b 001 0 eng |
| 020 |
|
|
|a 0792396634 (acid-free paper)
|
| 050 |
|
|
|a QA76.612
|b .B37 1996
|
| 082 |
|
|
|2 20
|a 519.7/7/028511
|
| 100 |
1 |
|
|a Barth, Peter,
|c Ph.D.
|
| 245 |
1 |
|
|a Logic-based 0-1 constraint programming /
|c Peter Barth.
|
| 246 |
3 |
|
|a Logic-based zero-one constraint programming
|
| 260 |
3 |
|
|a Boston :
|b Kluwer Academic Publishers,
|c c1996.
|
| 300 |
3 |
|
|a xiv, 253 p. :
|b ill. ;
|c 25 cm.
|
| 504 |
3 |
|
|a Includes bibliographical references (p. [233]-249) and index.
|
| 505 |
3 |
|
|a 1. Introduction -- 2. Constraint Logic Programming -- 3. Pseudo-Boolean Constraints -- 4. A Logic Cut Based Constraint Solver -- 5. Pseudo-Boolean Unit Resolution -- 6. Logic Cuts and Enumeration -- 7. Linear Pseudo-Boolean Inequalities and Extended Clauses -- 8. Simplification -- 9. Linearization -- 10. Projection -- 11. Conclusion.
|
| 650 |
3 |
|
|a Constraint programming (Computer science)
|
| 650 |
3 |
|
|a Logic programming
|
| 650 |
3 |
|
|a Operations research
|
| 952 |
|
|
|a GrThPMO
|b 59afda186c5ad17d7e59d329
|c 952a
|d 9528
|e QA76.612.B37 1996
|t 7
|x m
|z Books
|
