Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way (Q821554): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Temporal constraint networks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Temporal representation and reasoning in artificial intelligence: Issues and approaches / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Maximising the weighted number of activity execution modes in project planning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3112642 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Backtracking algorithms for disjunctions of temporal constraints / rank
 
Normal rank
Property / cites work
 
Property / cites work: Conditional simple temporal networks with uncertainty and decisions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized Conflict Learning for Hybrid Discrete/Linear Optimization / rank
 
Normal rank
Property / cites work
 
Property / cites work: SAT race 2015 / rank
 
Normal rank
Property / cites work
 
Property / cites work: CTP: A new constraint-based formalism for conditional, temporal planning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Conditional Simple Temporal Networks with Uncertainty and Resources / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2845506 / rank
 
Normal rank

Revision as of 15:35, 26 July 2024

scientific article
Language Label Description Also known as
English
Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way
scientific article

    Statements

    Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    21 September 2021
    0 references
    simple temporal network with decisions
    0 references
    HSCC algorithms
    0 references
    incremental SAT-solving
    0 references
    disjunctive temporal network
    0 references
    temporal constraints
    0 references
    access control
    0 references
    0 references
    0 references

    Identifiers