You have Guest access.
Log In
Ruben Viegas and Francisco Azevedo
Book Chapter
Using Indexed Finite Set Variables for Set Bounds Propagation
Ruben Duarte Viegas, Marco Correia, Pedro Barahona and Francisco Azevedo
Lecture Notes in Computer Science, 2008, Volume 5290, Advances in Artificial Intelligence – IBERAMIA 2008, Pages 73-82
Graphs and Hypergraphs
Dan A. Simovici and Chabane Djeraba
Advanced Information and Knowledge Processing, 2008, Mathematical Tools for Data Mining, Part I, Pages 79-125
On Optimal Placement of the Monitoring Devices on Channels of Communication Network
Alexey Rodionov, Olga Sokolova, Anastasia Yurgenson and Hyunseung Choo
Lecture Notes in Computer Science, 2009, Volume 5593, Computational Science and Its Applications – ICCSA 2009, Pages 465-478
Journal Article
Cardinal: A Finite Sets Constraint Solver
Francisco Azevedo
Constraints, 2007, Volume 12, Number 1, Pages 93-129
Distributed Verification: Exploring the Power of Raw Computing Power
Luboš Brim
Lecture Notes in Computer Science, 2007, Volume 4346, Formal Methods: Applications and Technology, Pages 23-34
Partially interacted phosphorylation/dephosphorylation trees extracted from signaling pathways in cells
Jian-Qin Liu and Katsunori Shimohara
Artificial Life and Robotics, 2007, Volume 11, Number 1, Pages 123-127
Acyclic Type-of-Relationship Problems on the Internet
Sven Kosub, Moritz G. Maaß and Hanjo Täubig
Lecture Notes in Computer Science, 2006, Volume 4235, Combinatorial and Algorithmic Aspects of Networking, Pages 98-111
Inferring (Biological) Signal Transduction Networks via Transitive Reductions of Directed Graphs
Réka Albert, Bhaskar DasGupta, Riccardo Dondi and Eduardo Sontag
Algorithmica, 2008, Volume 51, Number 2, Pages 129-159
Modeling of neural-network security tools for computer-aided systems: A formal model of adaptation and operation. I
G. F. Nesteruk, L. G. Nesteruk and F. G. Nesteruk
Automation and Remote Control, 2008, Volume 69, Number 9, Pages 1603-1614
Synthesizing Filtering Algorithms for Global Chance-Constraints
Brahim Hnich, Roberto Rossi, S. Armagan Tarim and Steven Prestwich
Lecture Notes in Computer Science, 2009, Volume 5732, Principles and Practice of Constraint Programming - CP 2009, Pages 439-453
Keywords Constraint Programming - Graphs - Sets
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info