Tractable constraints in finite semilattices

DOI10.1007/3-540-61739-6_48MaRDI QIDQ5030199zbMATH OpenOpenAlexFDO

Authors Jakob Rehof, Torben Ægidius Mogensen

Publication date 16 February 2022

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61739-6_48

zbMATH Keywords

algorithmsconstraint satisfiabilityfinite semilatticesprogram analysistractability

Mathematics Subject Classification ID

Semilattices (06A12) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Tractable constraints in finite semilattices
• Tractable constraints on ordered domains
• Constraint satisfaction tractability from semi-lattice operations on infinite sets
• scientific article; zbMATH DE number 1944123
• Complexity of clausal constraints over chains

Cites work

• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3485178 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 978246 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 784042 (Why is no real title available?)
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Model theory.
• Structure identification in relational data
• The complexity of satisfiability problems
• Tractable constraints in finite semilattices
• Tractable constraints on ordered domains

Cited in

(3)

• Tractable constraints in finite semilattices
• SVARs with occasionally-binding constraints
• scientific article; zbMATH DE number 978246 (Why is no real title available?)

This page was built for publication: Tractable constraints in finite semilattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5030199)