Polynomial Constraint Satisfaction Utilizing Adaptive Dynamic Domain Reduction

2012 IEEE/ACIS 11th International Conference on Computer and Information Science ◽

10.1109/icis.2012.86 ◽

2012 ◽

Author(s):

S. N. Zanjani ◽

M. D. T. Fooladi

Keyword(s):

Constraint Satisfaction ◽

Adaptive Dynamic ◽

Domain Reduction ◽

Polynomial Constraint ◽

Download Full-text

A reasoning-based approach to dynamic domain reduction in test data generation

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-018-0493-6 ◽

2018 ◽

Vol 21 (3) ◽

pp. 351-364

Author(s):

Esmaeel Nikravan ◽

Saeed Parsa

Keyword(s):

Test Data ◽

Test Data Generation ◽

Data Generation ◽

Domain Reduction ◽

Download Full-text

Cooperative Dynamic Domain Reduction

Distributed Autonomous Robotic Systems - Springer Proceedings in Advanced Robotics ◽

10.1007/978-3-030-05816-6_35 ◽

2019 ◽

pp. 499-512

Author(s):

Aaron Ma ◽

Michael Ouimet ◽

Jorge Cortés

Keyword(s):

Domain Reduction ◽

Download Full-text

Polynomial constraint satisfaction problems, graph bisection, and the Ising partition function

ACM Transactions on Algorithms ◽

10.1145/1597036.1597049 ◽

2009 ◽

Vol 5 (4) ◽

pp. 1-27 ◽

Author(s):

Alexander D. Scott ◽

Gregory B. Sorkin

Keyword(s):

Partition Function ◽

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Graph Bisection ◽

Polynomial Constraint

Download Full-text

Dynamic domain reduction for multi-agent planning

2017 International Symposium on Multi-Robot and Multi-Agent Systems (MRS) ◽

10.1109/mrs.2017.8250943 ◽

2017 ◽

Author(s):

Aaron Ma ◽

Michael Ouimet ◽

Jorge Cortes

Keyword(s):

Domain Reduction ◽

Multi Agent ◽

Dynamic Domain ◽

Multi Agent Planning

Download Full-text

A scaling algorithm for polynomial constraint satisfaction problems

Journal of Global Optimization ◽

10.1007/s10898-008-9317-7 ◽

2008 ◽

Vol 42 (3) ◽

pp. 327-345 ◽

Author(s):

Ferenc Domes ◽

Arnold Neumaier

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Polynomial Constraint

Download Full-text

Improving dynamic domain reduction test data generation method by Euler/Venn reasoning system

Software Quality Journal ◽

10.1007/s11219-019-09471-4 ◽

2019 ◽

Vol 28 (2) ◽

pp. 823-851

Author(s):

Esmaeel Nikravan ◽

Saeed Parsa

Keyword(s):

Test Data ◽

Test Data Generation ◽

Data Generation ◽

Reduction Test ◽

Reasoning System ◽

Domain Reduction ◽

Download Full-text

The dynamic domain reduction procedure for test data generation

Software Practice and Experience ◽

10.1002/(sici)1097-024x(199902)29:2<167::aid-spe225>3.0.co;2-v ◽

1999 ◽

Vol 29 (2) ◽

pp. 167-193 ◽

Author(s):

A. Jefferson Offutt ◽

Zhenyi Jin ◽

Jie Pan

Keyword(s):

Test Data ◽

Test Data Generation ◽

Data Generation ◽

Reduction Procedure ◽

Domain Reduction ◽

Download Full-text

Size and Cost Optimization of AutoCAD Oil and Gas Control Flow Designs Using Constraint Satisfaction Problem and Machine Learning

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v6i5.550555 ◽

2018 ◽

Vol 6 (5) ◽

pp. 550-555

Author(s):

H.A. Kore ◽

◽

◽

◽

S.B. Mane ◽

...

Keyword(s):

Machine Learning ◽

Constraint Satisfaction ◽

Oil And Gas ◽

Constraint Satisfaction Problem ◽

Cost Optimization ◽

Control Flow ◽

Download Full-text

Adaptive Dynamic Meta Particle Swarm Optimization Algorithm Synthesizing Multiple-pattern Conformal Array

JOURNAL OF ELECTRONICS INFORMATION TECHNOLOGY ◽

10.3724/sp.j.1146.2011.01187 ◽

2012 ◽

Vol 34 (6) ◽

pp. 1476-1482

Author(s):

Fei Zhao ◽

Hui-ying Qi ◽

Lei Qiu ◽

Shun-lian Chai ◽

Jun-jie Mao

Keyword(s):

Particle Swarm Optimization ◽

Optimization Algorithm ◽

Particle Swarm Optimization Algorithm ◽

Particle Swarm ◽

Swarm Optimization ◽

Adaptive Dynamic ◽

Conformal Array

Download Full-text

Going Concern Judgments as a Multiple Constraint Satisfaction Process

SSRN Electronic Journal ◽

10.2139/ssrn.490742 ◽

2004 ◽

Author(s):

C. Gustav Lundberg ◽

Brian Nagle

Keyword(s):

Constraint Satisfaction ◽

Going Concern ◽

Multiple Constraint

Download Full-text