An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-03251-6_3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

An Efficient Dual Algorithm for Vectorless Power Grid Verification Under Linear Current Constraints

2010English

Altering Impulsive Decision Making With an Acceptance-Based Procedure

Behavior Therapy
Clinical Psychology
2014English

Energy-Efficient Dual-Voltage Design Using Topological Constraints

Journal of Low Power Electronics
Electronic EngineeringElectrical
2013English

An Iterative Aggregation Procedure for Markov Decision Processes

Operations Research
Management ScienceComputer Science ApplicationsOperations Research
1982English

Modular Constraints on Superconformal Field Theories

Journal of High Energy Physics
High Energy PhysicsNuclear
2019English

Constraints on gaugedB−3Lτand Related Theories

Physical Review D
2001English

TAN Classifiers Based on Decomposable Distributions

Machine Learning
Artificial IntelligenceSoftware
2005English

An Efficient Procedure for Selecting Equal Probability Samples

Behavior Research Methods
DevelopmentalArtsPsychologyEducational PsychologyCognitive PsychologyHumanitiesExperimental
1971English

A Decision-Making Procedure for Resolution-Based SAT-Solvers

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy