Publications

New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization

AuthID
P-00Y-J6Q

Author(s)

Cortes, J

Lynce, I

Manquinho, V

Editor(s)

Sankaranarayanan,S;Sharygina,N

Document Type

Proceedings Paper

Year published

2023

Published

in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 13994, Pages: 55-73 (19)

Conference

29Th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Tacas), Date: APR 22-27, 2023, Location: Paris, FRANCE

Indexing

Wos^®

Scopus^®

Crossref^®1

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-031-30820-8_7

SCOPUS: 2-s2.0-85161409556

Wos: WOS:001288698100007

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization

Useful Links

Get Help

Federated Authentication (Click on the image)

New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization

Useful Links

Get Help