1
Table of Contents: ... -- 4 Perfect Formulations -- 5 Split and Gomory Inequalities -- 6 Intersection Cuts and Corner...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Very Short Bit-Vector Encoding of Tree Hierarchies -- Mathematical Programming Formulations...
View full text
Electronic eBook
5
Published 2013
Subjects: ...Computational Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... -- Searching the Best (Formulation, Solver, Configuration) for Structured Problems -- Information Model...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... -- Certified Computer Algebra on Top of an Interactive Theorem Prover -- Quantifier Elimination for Approximate...
View full text
Electronic eBook