F. A. Aloul, I. L. Markov, K. A. Sakallah:
MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation
/jucs_10_12/mince_a_static_global

page 1562 - 1596
Vol.10 / Issue 12

R. Arora, M.S. Hsiao:
Using Global Structural Relationships of Signals to Accelerate SAT-based Combinational Equivalence Checking
/jucs_10_12/using_global_structural_relationships

page 1597 - 1628
Vol.10 / Issue 12

M. Barley, H. W. Guesgen, G. Karl:
An Architecture for a Three-Tier Path-Finder
/jucs_8_8/an_architecture_for_a

page 739 - 750
Vol.8 / Issue 8

T. Biondi, A. Ciccazzo, V. Cutello, S. D'Antona, G. Nicosia, S. Spinella:
Multi-Objective Evolutionary Algorithms and Pattern Search Methods for Circuit Design Problems
/jucs_12_4/multi_objective_evolutionary_algorithm

page 432 - 449
Vol.12 / Issue 4

F. Cao, B.R. Bryant, R.R. Raje, A.M. Olson, M. Auguston, W. Zhao, C.C. Burt:
A Non-Invasive Approach to Assertive and Autonomous Dynamic Component Composition in the Service-Oriented Paradigm
/jucs_11_10/a_non_invasive_approach

page 1645 - 1675
Vol.11 / Issue 10

F. Dong, R. Xiao, Y. Zhong, Y. Liu:
An Approach to Polygonal Approximation of Digital Curves Based on Discrete Particle Swarm Algorithm
/jucs_13_10/an_approach_to_polygonal

page 1449 - 1461
Vol.13 / Issue 10

C. Eldershaw, S. Cameron:
Using Genetic Algorithms to Solve the Motion Planning Problem
/jucs_6_4/using_genetic_algorithms_to

page 422 - 432
Vol.6 / Issue 4

H. Liu, A. Abraham:
An Hybrid Fuzzy Variable Neighborhood Particle Swarm Optimization Algorithm for Solving Quadratic Assignment Problems
/jucs_13_9/an_hybrid_fuzzy_variable

page 1309 - 1331
Vol.13 / Issue 9

J. Park, K.S. Barber:
Information Quality Assurance by Lazy Exploration of Information Source Combinations Space in Open Multi-Agent Systems
/jucs_11_1/information_quality_assurance_by

page 193 - 209
Vol.11 / Issue 1

J. Robin, J. Vitorino, A. Wolf:
Constraint Programming Architectures: Review and a New Proposal
/jucs_13_6/constraint_programming_architectures_review

page 701 - 720
Vol.13 / Issue 6