Parameterized Weighted Containment

DOI10.1007/978-3-642-37075-5_24MaRDI QIDQ4910431zbMATH OpenOpenAlexFDO

Authors Guy Avni, Orna Kupferman

Publication date 18 March 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37075-5_24

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Parameterized weighted containment
• Parameterized complexity of weighted satisfiability problems
• Parameterized Algorithms for Weighted Matching and Packing Problems
• Parameterized algorithms for weighted matching and packing problems
• The Weighted Cfg Constraint
• Weight Constraint Programs with Functions
• Making weighted containment feasible: a heuristic based on simulation and abstraction
• Weight constraints as nested expressions
• Weight constraint programs with evaluable functions
• A generalization of the weighted set covering problem

Cited in

(3)

• Making weighted containment feasible: a heuristic based on simulation and abstraction
• Parameterized weighted containment
• Deterministic weighted automata under partial observability

This page was built for publication: Parameterized Weighted Containment

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