Q6060092 (Q6060092): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Bots
7,035,981 edits
‎Created a new Item
 
ReferenceBot (talk | contribs)
Bots
1,895,659 edits
‎Changed an Item
 
(One intermediate revision by one other user not shown)
Property / cites work
 
Property / cites work: Maintaining knowledge about temporal intervals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Allen-like theory of time for tree-like structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5079779 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unit Refutations and Horn Sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: An initial study of time complexity in infinite-domain constraint satisfaction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reasoning about temporal relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fast algebraic methods for interval constraint problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reasoning about temporal relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Analysis 1 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4533361 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis / rank
 
Normal rank
Property / cites work
 
Property / cites work: ECL<sup>i</sup>PS<sup>e</sup> – From LP to CLP / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 10:41, 3 August 2024

scientific article; zbMATH DE number 7760475
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7760475

    Statements

    author
    A. Bertagnon
    0 references
    Marco Gavanelli
    0 references
    A. Passantino
    0 references
    Guido Sciavicco
    0 references
    Q6060091
    0 references
    publication date
    2 November 2023
    0 references
    zbMATH Keywords
    constraint programming
    0 references
    consistency
    0 references
    branching time
    0 references
    Horn fragment
    0 references

    Identifiers

    zbMATH DE Number
    7760475
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6060092&oldid=37573928"
    Powered by MediaWiki