<--- Back to Details
First PageDocument Content
Operations research / Mathematical optimization / Constraint programming / Logic in computer science / NP-complete problems / Topology / Satisfiability modulo theories / Dynamic programming / Semidefinite programming
Date: 2008-12-04 03:04:56
Operations research
Mathematical optimization
Constraint programming
Logic in computer science
NP-complete problems
Topology
Satisfiability modulo theories
Dynamic programming
Semidefinite programming

Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem Ant´ onio Morgado and Joao Marques-Silva School of Electronics and Computer Science, University of Southampton, UK ,jpms@e

Add to Reading List

Source URL: ceur-ws.org

Download Document from Source Website

File Size: 163,21 KB

Share Document on Facebook

Similar Documents

Geometry & Topology–Topological properties of Hilbert schemes of almost-complex four-manifolds II

Geometry & Topology–Topological properties of Hilbert schemes of almost-complex four-manifolds II

DocID: 1xVL5 - View Document

Algebraic & Geometric Topology–Generic representations of orthogonal groups: the mixed functors

Algebraic & Geometric Topology–Generic representations of orthogonal groups: the mixed functors

DocID: 1xVsM - View Document

Geometry & Topology–K –duality for stratified pseudomanifolds C LAIRE D EBORD

Geometry & Topology–K –duality for stratified pseudomanifolds C LAIRE D EBORD

DocID: 1xVky - View Document

NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich

NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich

DocID: 1xVcN - View Document

NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich

NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich

DocID: 1xV3c - View Document