Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams

doi 10.1109/ictai.2012.10
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Multivalued Decision Diagrams for Sequencing Problems

Operations Research
Management ScienceComputer Science ApplicationsOperations Research
2013English

Even Delta-Matroids and the Complexity of Planar Boolean CSPs

2017English

Equational Binary Decision Diagrams

English

Lattice-Valued Binary Decision Diagrams

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Parallel Combinatorial Optimization With Decision Diagrams

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Non-Deterministic View on Non-Classical Negations

Studia Logica
Philosophy of ScienceLogicHistory
2005English

Average Path Length of Binary Decision Diagrams

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
2005English

Description Logic Reasoning With Decision Diagrams

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

A Deterministic Approach of Generating Earthquake Liquefaction Severity Map of Mindoro Philippine

International Journal of GEOMATE
BuildingGeotechnical EngineeringSoil ScienceEngineering GeologyConstructionEnvironmental Engineering
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy