Solving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques.

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02092833
Contributor : Clara Bertolissi <>
Submitted on : Monday, April 8, 2019 - 2:49:05 PM
Last modification on : Tuesday, April 9, 2019 - 1:22:58 AM

Identifiers

  • HAL Id : hal-02092833, version 1

Collections

Citation

Clara Bertolissi, Daniel Ricardo dos Santos, Silvio Ranise. Solving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques.. SACMAT, Jun 2018, Indianapolis IN, United States. ⟨hal-02092833⟩

Share

Metrics

Record views

9