Hal Sciencemetadata only
Solving hard sequencing problems via the AtMostSeqCard constraint
hybrid cp/sat, sequence constraints, constraint propagation, sequencing problems, [info.info-ro]computer science [cs]/operations research [math.oc], [info.info-dl]computer science [cs]/digital libraries [cs.dl]
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗Related documents
Record · ID 253920
Conceptio Open Knowledge Archive — every document is proof-bundled with source, license, and retrieval metadata.