|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13289 occurrences of 5329 keywords
|
|
|
Results
Found 33126 publication records. Showing 33126 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | George Boukeas, Panagiotis Stamatopoulos, Constantinos Halatsis, Vassilis Zissimopoulos |
Inherent Choice in the Search Space of Constraint Satisfaction Problem Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Methods and Applications of Artificial Intelligence, Third Helenic Conference on AI, SETN 2004, Samos, Greece, May 5-8, 2004, Proceedings, pp. 362-370, 2004, Springer, 3-540-21937-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
search, constraint satisfaction, mathematical foundations |
20 | Jan Chomicki, Dina Q. Goldin, Gabriel M. Kuper, David Toman 0001 |
Variable Independence in Constraint Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(6), pp. 1422-1436, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
aggregation, integrity constraints, closure, spatiotemporal databases, Constraint databases |
20 | Martin Fränzle, Christian Herde |
Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, pp. 302-316, 2003, Springer, 3-540-20101-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
non-clausal propositional logic, zero-one linear constraint systems, Satisfiability, proof search, acceleration techniques |
20 | Eckhard Bick |
A Constraint Grammar Based Question Answering System for Portuguese. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings, pp. 414-418, 2003, Springer, 3-540-20589-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Constraint Grammar (CG), Named Entity Recognition (NER), Information Extraction (IE), Question Answering (QA) |
20 | Meinolf Sellmann, Kyriakos Zervoudakis, Panagiotis Stamatopoulos, Torsten Fahle |
Crew Assignment via Constraint Programming: Integrating Column Generation and Heuristic Tree Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 115(1-4), pp. 207-225, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
airline crew assignment, hybrid OR-CP method, constraint programming based column generation, set partitioning |
20 | Ulrich John, Ulrich Geske |
Konfiguration komplexer Produkte mit Constraint-basierter Modellierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 17(4), pp. 167-176, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Konfiguration, Rekonfiguration, Constraint-Programmierung, Entscheidungsunterstützung, Simulation, Modellierung |
20 | Shane Sendall, Alfred Strohmeier |
Using OCL and UML to Specify System Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Modeling with the OCL ![In: Object Modeling with the OCL, The Rationale behind the Object Constraint Language, pp. 250-280, 2002, Springer, 3-540-43169-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Pre- and Postcondition Assertions, Unified Modeling Language, Requirements Analysis, Object Constraint Language, Software Specification |
20 | Greg J. Badros, Alan Borning, Peter J. Stuckey |
The Cassowary linear arithmetic constraint solving algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 8(4), pp. 267-306, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Cassowary, constraint-solving toolkit, user interface, constraints |
20 | Minsoo Ryu, Jungkeun Park, Seongsoo Hong |
Timing Constraint Remapping to Achieve Time Equi-Continuity in Distributed Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(12), pp. 1310-1320, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
timing constraint transformation, real-time scheduling, clock synchronization, Distributed real-time system |
20 | Silvia Regina Vergilio, José Carlos Maldonado, Mário Jino |
Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 17(2), pp. 175-183, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
structural testing criteria, constraint based testing, mutation analysis |
20 | Jae-Jin Kim, Hi-Seok Kim, Chi-Ho Lin |
A new techology mapping for CPLD under the time constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of ASP-DAC 2001, Asia and South Pacific Design Automation Conference 2001, January 30-February 2, 2001, Yokohama, Japan, pp. 235-238, 2001, ACM, 0-7803-6634-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
feasible cluster, number of multi-level, technology mapping for CPLD, time constraint |
20 | Kenny Qili Zhu, Wee-Yeh Tan, Andrew E. Santosa, Roland H. C. Yap |
Reactive Web Agents with Open Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: Fifth International Symposium on Autonomous Decentralized Systems, ISADS 2001, Dallas, Texas, USA, March 26-28, 2001, pp. 251-254, 2001, IEEE Computer Society, 0-7695-1065-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
multi-agent systems, constraint programming, Web agents |
20 | Chi-Kin Chau, Kwang Mong Sim |
Engineering Fuzzy Constraint Satisfaction Agents for Multi-user Timetable Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Active Media Technology ![In: Active Media Technology, 6th International Computer Science Conference, AMT 2001, Hong Kong, China, December 18-20, 2001, Proceedings, pp. 244-254, 2001, Springer, 3-540-43035-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
fuzzy constraint satisfaction, multi-user timetabling, agent |
20 | Philippe Codognet, Daniel Diaz 0001 |
Yet Another Local Search Method for Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAGA ![In: Stochastic Algorithms: Foundations and Applications, International Symposium, SAGA 2001 Berlin, Germany, December 13-14, 2001, Proceedings, pp. 73-90, 2001, Springer, 3-540-43025-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
combinatorial optimization, Local search, constraint solving, search algorithms |
20 | Simon White, Derek H. Sleeman |
A grammar-driven knowledge acquisition tool that incorporates constraint propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K-CAP ![In: Proceedings of the First International Conference on Knowledge Capture (K-CAP 2001), October 21-23, 2001, Victoria, BC, Canada, pp. 187-193, 2001, ACM, 1-58113-380-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
SCREAMER+, constraint-augmented grammars, constraints, knowledge acquisition, formal grammars |
20 | Nicoleta Neagu |
Exploiting the CSP Structure by Interchangeability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 774, 2001, Springer, 3-540-42863-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
constraint satisfaction problem, interchangeability |
20 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
View-Based Query Processing and Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000, pp. 361-371, 2000, IEEE Computer Society, 0-7695-0725-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
view-based query answering, view-based query rewriting, databases, constraint satisfaction, semistructured data |
20 | Paolo Mancarella, Alessandra Raffaetà, Franco Turini |
Temporal Annotated Constraint Logic Programming with Multiple Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 10th International Workshop on Database & Expert Systems Applications, Florence, Italy, September 1-3, 1999, Proceedings., pp. 501-508, 1999, IEEE Computer Society, 0-7695-0281-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
meta-logic, knowledge representation, temporal reasoning, constraint logic programming |
20 | Romuald Debruyne |
A Strong Local Consistency for Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 11th IEEE International Conference on Tools with Artificial Intelligence, ICTAI '99, Chicago, Illinois, USA, November 8-10, 1999, pp. 202-209, 1999, IEEE Computer Society, 0-7695-0456-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
constraint satisfaction, local consistency |
20 | Eduard Cerny, Fen Jin |
Verification of Real Time Controllers Against Timing Diagram Specifications Using Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Proceedings of the IEEE International Conference On Computer Design, VLSI in Computers and Processors, ICCD '99, Austin, Texas, USA, October 10-13, 1999, pp. 32-39, 1999, IEEE Computer Society, 0-7695-0406-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Interface verification, interface controllers, relational interval arithmetic, constraint logic programming, timing verification, timing diagrams |
20 | Shubha Chakravarty, Yuval Shahar |
A Constraint-Based Specification of Periodic Patterns in Time-Oriented Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 6th International Workshop on Temporal Representation and Reasoning, TIME '99, Orlando, Florida, USA, May 1-2, 1999, pp. 29-40, 1999, IEEE Computer Society, 0-7695-0173-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
patterns, temporal databases, periodicity, constraint-based reasoning |
20 | Alessandra Di Pierro, Herbert Wiklicky |
An Operational Semantics for Probabilistic Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: Proceedings of the 1998 International Conference on Computer Languages, ICCL 1998, Chicago, IL, USA, May 14-16, 1998, pp. 174-183, 1998, IEEE Computer Society, 0-8186-8454-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Concurrency, Probability, Constraint Programming, Operational Semantics, Nondeterminism |
20 | Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi |
Proving Concurrent Constraint Programs Correct. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(5), pp. 685-725, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
strongest postcondition, constraint programming, dynamic scheduling, proof theory |
20 | Vitaly Telerman, Vladimir Sidorov, Dmitry Ushakov |
Object-Oriented Constraint Programming Environment NeMo+ and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 296-303, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
subdefinite models, object-oriented programming, constraint programming |
20 | Yi Tao 0001, William I. Grosky, Chunnian Liu |
An Automatic Partial Deduction System for Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 149-156, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
partial deduction(partial evaluation), CLP(Bool), CLP(R), Prolog, constraint logic programming |
20 | Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens |
Global Analysis of Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(5), pp. 564-614, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
global program analysis, program analysis, abstract interpretation, constraint logic programming |
20 | Alex Quilici, Steven Woods |
Toward a Constraint-Satisfaction Framework for Evaluating Program-Understanding Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPC ![In: 4th International Workshop on Program Comprehension (WPC '96), March 29-31, 1996, Berlin, Germany, pp. 55-, 1996, IEEE Computer Society, 0-8186-7283-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Constraint Satisfaction, Program understanding, Algorithm evaluation |
20 | Lotfi A. Zadeh |
Inference in Fuzzy Logic via Generalized Constraint Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 192-197, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
generalized constraint propagation, fuzzy logic, fuzzy logic, inference, inference mechanisms, computing with words |
20 | Yves Caseau |
Constraint satisfaction with an object-oriented knowledge representation language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 4(2), pp. 157-184, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
object-oriented programming, knowledge representation, Constraint satisfaction |
20 | Flavio Bonfatti, Paola Daniela Monari, Paolo Paganelli |
Object-Oriented Constraint Analysis in Complex Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 5th International Conference, DEXA '94, Athens, Greece, September 7 - 9, 1994, Proceedings, pp. 280-289, 1994, Springer, 3-540-58435-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
constraint representation, conceptual modelling, object-oriented analysis |
20 | Kim Marriott, Peter J. Stuckey |
Semantics of Constraint Logic Programs with Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 197-212, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
semantics, constraint logic programming |
20 | Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely |
A Hyperdoctrinal View of Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 457-476, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
hyperdoctrines, constraint programs, asynchronous systems, closure operators, fibrations |
20 | Isabelle Comyn-Wattiau, Mokrane Bouzeghoub |
Constraint Confrontation: An Important Step in View Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, CAiSE'92, Manchester, UK, May 12-15, 1992, Proceedings, pp. 507-523, 1992, Springer, 3-540-55481-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
deductive process, conflict resolution, database design, integrity constraint, forward chaining, view integration |
19 | Martin E. Dyer, David Richerby |
On the complexity of #CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010, pp. 725-734, 2010, ACM, 978-1-4503-0050-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
complexity dichotomy, constraint satisfaction problem, counting problems |
19 | Elham Sahebkar Khorasani, Shahram Rahimi 0001, Bidyut Gupta |
A Reasoning Methodology for CW-Based Question Answering Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Fuzzy Logic and Applications, 8th International Workshop, WILF 2009, Palermo, Italy, June 9-12, 2009, Proceedings, pp. 328-335, 2009, Springer, 978-3-642-02281-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Reasoning methodology, Generalized Constraint, Question Answering, Computing with Words |
19 | Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodríguez-Carbonell, Albert Rubio |
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 294-305, 2009, Springer, 978-3-642-02958-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
polynomial constraints, SAT modulo theories, program analysis, termination, Constraint solving |
19 | René Vidal, Richard I. Hartley |
Three-View Multibody Structure from Motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 30(2), pp. 214-227, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multibody structure from motion, 3-D motion segmentation, multibody trilinear constraint, multibody trifocal tensor and Generalized PCA (GPCA) |
19 | Carlos Olarte, Frank D. Valencia |
The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain, pp. 8-19, 2008, ACM, 978-1-60558-117-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
first-order linear temporal logic, security protocols, closure operators, concurrent constraint programming |
19 | Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey |
Removing propagation redundant constraints in redundant modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(4), pp. 23, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
redundant constraints, redundant modeling, Constraint propagation |
19 | Xiaonan Ji, James Bailey 0001, Guozhu Dong |
Mining minimal distinguishing subsequence patterns with gap constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 11(3), pp. 259-286, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Gap constraint, Contrast pattern, Sequential pattern, Frequent pattern, Emerging pattern, Data mining algorithm |
19 | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh |
The Complexity of Reasoning with Global Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 12(2), pp. 239-259, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Generalized arc consistency, Computational complexity, Constraint propagation, Global constraints |
19 | René Vidal, Yi Ma 0001, Stefano Soatto, Shankar Sastry 0001 |
Two-View Multibody Structure from Motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 68(1), pp. 7-25, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multibody structure from motion, 3-D motion segmentation, multibody epipolar constraint, multibody fundamental matrix, Generalized PCA (GPCA) |
19 | Chunhong Cao, Bin Zhang 0001, Limin Wang, Wenhui Li 0002 |
The Parametric Design Based on Organizational Evolutionary Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2006: Trends in Artificial Intelligence, 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006, Proceedings, pp. 940-944, 2006, Springer, 3-540-36667-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
organizational evolutionary algorithm, split operator, merging operator, coordinating operator, geometric constraint solving, parametric design |
19 | Malek Mouhoub |
Reasoning with Numeric and Symbolic Time Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 21(1), pp. 25-56, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
constraint satisfaction techniques, scheduling, approximation algorithms, planning, temporal reasoning |
19 | Vincent Simonet |
An extension of HM(X) with bounded existential and universal data-types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003, pp. 39-50, 2003, ACM, 1-58113-756-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
existential and universal data-types, structural subtyping, constraint-based type inference |
19 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Integrating finite domain constraints and CLP with sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden, pp. 219-229, 2003, ACM, 1-58113-705-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
programming with sets, constraint logic programming |
19 | Miguel García-Díaz, Susana Nieva |
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, pp. 103-118, 2002, Springer, 3-540-44233-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
hereditary Harrop formulas, finite symbolic trees, first-order logic, real numbers, constraint systems |
19 | Evangeline F. Y. Young, Chris C. N. Chu, M. L. Ho |
A Unified Method to Handle Different Kinds of Placement Constraints in Floorplan Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC/VLSI Design ![In: Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), and the 15th International Conference on VLSI Design (VLSI Design 2002), Bangalore, India, January 7-11, 2002, pp. 661-, 2002, IEEE Computer Society, 0-7695-1299-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
placement constraint, physical design, floorplanning |
19 | Slim Abdennadher, Christophe Rigotti |
Generation of Propagation Rules for Intentionally Defined Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 13th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2001, Dallas, Texas, USA, November 7-9, 2001, pp. 236-, 2001, IEEE Computer Society, 0-7695-1417-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Machine learning, Constraint solving, Rule-based programming |
19 | David A. Cohen, Peter Jeavons 0001, Peter Jonsson, Manolis Koubarakis |
Building tractable disjunctive constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 47(5), pp. 826-853, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
disjunctive constraints, complexity, NP-completeness, constraint satisfaction problem, relations, independence |
19 | Andrea Panati |
Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings, pp. 166-177, 1999, Springer, 3-540-67350-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
constraint programming heuristics, non-binary constraints, diagnosis, qualitative modeling |
19 | Kalle Åström, Anders Heyden |
Continuous Time Matching Constraints for Image Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 28(1), pp. 85-96, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
multilinear constraint, uncalibrated, calibrated camera, optical flow, motion, structure |
19 | Amnon Meisels, Natalia Lusternik |
Experiments on Networks of Employee Timetabling Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATAT ![In: Practice and Theory of Automated Timetabling II, Second International Conference, PATAT'97, Toronto, Canada, August 20-22, 1997, Selected Papers, pp. 130-141, 1997, Springer, 3-540-64979-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Employee Timetabling, Experimental CSP, Non binary constraints, Constraint Networks |
19 | Christian Bliek, Christophe Jermann, Arnold Neumaier (eds.) |
Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![Springer, 3-540-20463-6 The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Michael R. Bussieck, Arne Stolbjerg Drud, Alexander Meeraus, Armin Pruessner |
Quality Assurance and Global Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers, pp. 223-238, 2002, Springer, 3-540-20463-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Aurélien Schmied |
A Global Constrained Optimization Algorithm for Engine Calibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers, pp. 111-122, 2002, Springer, 3-540-20463-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Global constrained optimization, engine calibration, stochastic algorithm |
19 | Didier Henrion, Jean B. Lasserre |
Solving Global Optimization Problems over Polynomials with GloptiPoly 2.1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers, pp. 43-58, 2002, Springer, 3-540-20463-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Christian Jansson |
Rigorous Error Bounds for the Optimal Value of Linear Programming Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers, pp. 59-70, 2002, Springer, 3-540-20463-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
rigorous error bounds, linear programming, branch-and-bound, sensitivity analysis, interval arithmetic |
19 | Evgueni Petrov |
Symbolic-Interval Heuristic for Bound-Constrained Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers, pp. 102-110, 2002, Springer, 3-540-20463-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Ivo Nowak, Hernán Alperin, Stefan Vigerske |
LaGO - An Object Oriented Library for Solving MINLPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers, pp. 32-42, 2002, Springer, 3-540-20463-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
convex relaxation, heuristics, software, decomposition, Mixed integer nonlinear programming |
19 | |
The COPRIN Project: Minimal and Maximal Real Roots of Parametric Polynomials Using Interval Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers, pp. 71-86, 2002, Springer, 3-540-20463-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
parametric polynomial, eigenvalues, interval analysis |
19 | G. William Walster, Eldon R. Hansen |
Computing Interval Parameter Bounds from Fallible Measurements Using Overdetermined (Tall) Systems of Nonlinear Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers, pp. 171-177, 2002, Springer, 3-540-20463-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Fabio Tardivo, Agostino Dovier, Andrea Formisano 0001, Laurent Michel, Enrico Pontelli |
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 336-353, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Alex Mattenet, Ian Davidson, Siegfried Nijssen, Pierre Schaus |
Generic Constraint-Based Block Modeling Using Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, pp. 656-673, 2019, Springer, 978-3-030-30047-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Anna L. D. Latour, Behrouz Babaki, Anton Dries, Angelika Kimmig, Guy Van den Broeck, Siegfried Nijssen |
Combining Stochastic Constraint Optimization and Probabilistic Programming - From Knowledge Compilation to Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 495-511, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Sebastian Krings, Michael Leuschel |
Constraint Logic Programming over Infinite Domains with an Application to Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP / WFLP ![In: Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, WLP 2015 / WLP 2016 / WFLP 2016, Dresden and Leipzig, Germany, 22nd September 2015 and 12-14th September 2016., pp. 73-87, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois |
A Global Constraint for Mining Sequential Patterns with GAP Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings, pp. 198-215, 2016, Springer, 978-3-319-33953-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Benjamin Négrevergne, Tias Guns |
Constraint-Based Sequence Mining Using Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming - 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings, pp. 288-305, 2015, Springer, 978-3-319-18007-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Johannes Waldmann |
Automated Exercises for Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP/WFLP ![In: Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, Wittenberg, Germany, September 15-17, 2014., pp. 66-80, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
19 | Alexander Bau, Johannes Waldmann |
Describing and Measuring the Complexity of SAT encodings for Constraint Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP/WFLP ![In: Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, Wittenberg, Germany, September 15-17, 2014., pp. 26-37, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
19 | Julien Martin, Thierry Martinez, François Fages |
Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints - 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers, pp. 38-58, 2009, Springer, 978-3-642-19485-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Julien Vion, Thierry Petit, Narendra Jussien |
Integrating Strong Local Consistencies into Constraint Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints - 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers, pp. 90-104, 2009, Springer, 978-3-642-19485-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Richard J. Wallace, Diarmuid Grimes, Eugene C. Freuder |
Dynamic Constraint Satisfaction Problems: Relations among Search Strategies, Solution Sets and Algorithm Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints - 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers, pp. 105-121, 2009, Springer, 978-3-642-19485-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Armin Wolf |
Constraint-Based Modeling and Scheduling of Clinical Pathways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints - 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers, pp. 122-138, 2009, Springer, 978-3-642-19485-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Ulrich Junker |
Preference-Based Problem Solving for Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007, Revised Selected Papers, pp. 109-126, 2007, Springer, 978-3-540-89811-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Dina Q. Goldin |
Taking Constraints out of Constraint Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDB ![In: Constraint Databases, Proceedings of the 1st International Symposium on Applications of Constraint Databases, CDB'04, Paris, France, June 12-13, 2004, pp. 168-179, 2004, Springer. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Mengchu Cai |
Integrating Constraint and Relational Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDB ![In: Constraint Databases, Proceedings of the 1st International Symposium on Applications of Constraint Databases, CDB'04, Paris, France, June 12-13, 2004, pp. 180-188, 2004, Springer. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Viswanathan Ramanathan, Peter Z. Revesz |
Constraint Database Solutions to the Genome Map Assembly Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDB ![In: Constraint Databases, Proceedings of the 1st International Symposium on Applications of Constraint Databases, CDB'04, Paris, France, June 12-13, 2004, pp. 90-116, 2004, Springer. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Anagh Lal, Berthe Y. Choueiry |
Constraint Processing Techniques for Improving Join Computation: A Proof of Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDB ![In: Constraint Databases, Proceedings of the 1st International Symposium on Applications of Constraint Databases, CDB'04, Paris, France, June 12-13, 2004, pp. 149-167, 2004, Springer. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle |
Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-based Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDB ![In: Constraint Databases, Proceedings of the 1st International Symposium on Applications of Constraint Databases, CDB'04, Paris, France, June 12-13, 2004, pp. 75-89, 2004, Springer. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Arathi Ramani, Igor L. Markov |
Automatically Exploiting Symmetries in Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers, pp. 98-112, 2004, Springer, 3-540-25176-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Armin Wolf |
Better Propagation for Non-preemptive Single-Resource Constraint Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers, pp. 201-215, 2004, Springer, 3-540-25176-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Hans Schlenker, Frank Rehberger |
Towards a More General Distributed Constraint Satisfaction Framework: Intensional vs. Extensional Constraint Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000., pp. 63-70, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
19 | Mark Wallace |
How Constraint Logic Programming Unlocks Constraint Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: Proceedings of the Third International Conference on the Practical Application of Constraint Technology, PACT 1997, Westminster Central Hall, London, UK, April 23-25, 1997, pp. 7-14, 1997, Practical Application Company Ltd., 0-9525554-4-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
19 | Eric Boucher, Astrid Bachelu, Christophe Varnier, Pierre Baptiste, Bruno Legeard |
Multi-criteria Comparison Between Algorithmic, Constraint Logic and Specific Constraint Programming on a Real Schedulingt Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: Proceedings of the Third International Conference on the Practical Application of Constraint Technology, PACT 1997, Westminster Central Hall, London, UK, April 23-25, 1997, pp. 47-64, 1997, Practical Application Company Ltd., 0-9525554-4-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
19 | Daniel P. Miranker, Roberto J. Bayardo Jr., Vasilis Samoladas |
Query Evaluation as Constraint Search; An Overview of Early Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDB ![In: Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers, pp. 53-63, 1997, Springer, 3-540-62501-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Alexander Brodsky 0001, Victor E. Segal |
The C3 Constraint Object-Oriented Database System: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDB ![In: Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers, pp. 134-159, 1997, Springer, 3-540-62501-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Suad Alagic |
A Temporal Constraint System for Object-Oriented Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDB ![In: Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers, pp. 208-218, 1997, Springer, 3-540-62501-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Stéphane Bressan, Alan P. Sexton, Mark Wallace 0001 |
Implementing Index Data Structures Using Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDB ![In: Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers, pp. 294-301, 1997, Springer, 3-540-62501-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Elisa Bertino, Barbara Catania, Stéphane Bressan |
Integrity Constraint Checking in Chimera. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDB ![In: Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers, pp. 160-186, 1997, Springer, 3-540-62501-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Yujun Wang, Baile Shi, Yunyao Qu |
Decomposition and Lossless Join in Constraint Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDB ![In: Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers, pp. 80-91, 1997, Springer, 3-540-62501-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Peter Z. Revesz |
Problem Solving in the DISCO Constraint Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDB ![In: Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers, pp. 302-315, 1997, Springer, 3-540-62501-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | David Toman 0001 |
Constraint Databases and Program Analysis Using Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDB ![In: Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers, pp. 246-262, 1997, Springer, 3-540-62501-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | David Toman 0001 |
Computing the Well-Founded Semantics for Constraint Extensions of Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDB ![In: Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers, pp. 64-79, 1997, Springer, 3-540-62501-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Volker Gaede, Mark Wallace 0001 |
An Informal Introduction to Constraint Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDB ![In: Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers, pp. 7-52, 1997, Springer, 3-540-62501-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Cesare Tinelli, Mehdi T. Harandi |
Constraint Logic Programming over Unions of Constraint Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, Cambridge, Massachusetts, USA, August 19-22, 1996, pp. 436-450, 1996, Springer. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Roberto Bagnara |
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCP ![In: First International Workshop on Concurrent Constraint Programming, CCP 1995, Cà Dolfin, Venice, Italy, May 29-31, 1995., pp. 9:1-9:18, 1995, INRIA Rocquencourt. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
19 | Alan Borning, Bjørn N. Freeman-Benson |
The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings, pp. 624-628, 1995, Springer, 3-540-60299-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Ying Zhang, Alan K. Mackworth |
Constraint Programming in Constraint Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 293-302, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
19 | Ugo Montanari, Francesca Rossi 0001 |
Constraint Satisfaction, Constraint Programming, and Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 219-227, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
|
|