Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Maciej Ciesielski
Functional Test Generation Using Constraint Logic Programming
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Related publications
Tree Drawing Using Constraint Logic Programming
Integrating Answer Set Programming and Constraint Logic Programming
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Reconciliation of Concurrently Applied Clinical Practice Guidelines Using Constraint Logic Programming
An Active-Constraint Logic for Non-Linear Programming
Optimal Control Applications and Methods
Control
Systems Engineering
Applied Mathematics
Optimization
Software
Functional Fault Equivalence and Diagnostic Test Generation in Combinational Logic Circuits Using Conventional ATPG
Journal of Electronic Testing: Theory and Applications (JETTA)
Electronic Engineering
Electrical
Implementing Type Theory in Higher Order Constraint Logic Programming
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Closures and Modules Within Linear Logic Concurrent Constraint Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
CLP(Flex): Constraint Logic Programming Applied to XML Processing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Integrative Functional Statistics in Logic Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
