Propagation completeness of reactive constraintsMAHER, Michael J.Lecture notes in computer science. 2002, pp 148-162, issn 0302-9743, isbn 3-540-43930-7, 15 p.Conference Paper

Aspects of constraint processingBOWEN, J.International journal for artificial intelligence in engineering. 1991, Vol 6, Num 2, pp 100-102, issn 0267-9264, 3 p.Article

Implementing temporal integrity constraints using an active DBMSCHOMICKI, J; TOMAN, D.IEEE transactions on knowledge and data engineering. 1995, Vol 7, Num 4, pp 566-582, issn 1041-4347Article

The combined constraints for perpendicular recording channelsDEMIRKAN, Ismail; YUAN XING LEE.IEEE transactions on magnetics. 2006, Vol 42, Num 2, pp 220-225, issn 0018-9464, 6 p., 1Conference Paper

Recent advances in constraints (Cork, 19-21 June 2002, selected papers)O'Sullivan, Barry.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-00986-8, X, 199 p, isbn 3-540-00986-8Conference Proceedings

Contraintes (Partie II)Revue d'intelligence artificielle. 1997, Vol 11, Num 3, issn 0992-499X, 151 p.Serial Issue

Constraint Satisfaction Problems Solvable by Local Consistency MethodsBARTO, Libor; KOZIK, Marcin.Journal of the Association for Computing Machinery. 2014, Vol 61, Num 1, issn 0004-5411, 3.1-3.19Article

Tractable disjunctions of linear constraints: basic results and applications to temporal reasoningKOUBARAKIS, Manolis.Theoretical computer science. 2001, Vol 266, Num 1-2, pp 311-339, issn 0304-3975Article

A quantitative solution to constraint satisfaction problem (CSP)JUN GU; XIAOFEI HUANG; BIN DU et al.New generation computing. 1994, Vol 13, Num 1, pp 99-115, issn 0288-3635Article

Paradigm lost : discovering the intersection of assertion-guided program contruction and constraint-driven reevaluation = Perte de paradigme: découverte de l'intersection de construction de programme par assertion et de la réévaluation guidée par contrainteYAU, S. S; GORE, J. V.Computer journal (Print). 1993, Vol 36, Num 2, pp 136-142, issn 0010-4620Article

Handling implication and universal quantification constraints in FLUXTHIELSCHER, Michael.Lecture notes in computer science. 2005, pp 667-681, issn 0302-9743, isbn 3-540-29238-1, 1Vol, 15 p.Conference Paper

On evaluating topologically constrained path integralsBERNIDO, C. C; CARPIO-BERNIDO, M. V; INOMATA, A et al.Physics letters. A. 1989, Vol 136, Num 6, pp 259-263, issn 0375-9601, 5 p.Article

Distributed constraint satisfaction with cooperating asynchronous solversRINGWELSKI, Georg.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42863-1, p. 777Conference Paper

Constrained relative least general generalization for inducing constraint logic programsMIZOGUCHI, F; OHWADA, H.New generation computing. 1995, Vol 13, Num 3-4, pp 335-368, issn 0288-3635Article

Distributed constraint satisfaction as a computational model of negotiation via argumentationJUNG, Hyuckchul.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42863-1, p. 767Conference Paper

View-based propagator derivationSCHULTE, Christian; TACK, Guido.Constraints (Dordrecht). 2013, Vol 18, Num 1, pp 75-107, issn 1383-7133, 33 p.Article

The constraint algebra of tetrad gravity re-examinedMALUF, J. W.Classical and quantum gravity (Print). 1991, Vol 8, Num 2, pp 287-295, issn 0264-9381, 9 p.Article

Handling equality constraints by adaptive relaxing rule for swarm algorithmsXIE, Xiao-Feng; ZHANG, Wen-Jun; BI, De-Chun et al.Congress on evolutionary computation. 2004, isbn 0-7803-8515-2, 2Vol, vol 2, 2012-2016Conference Paper

High-order consistency in valued constraint satisfactionCOOPER, Martin C.Constraints (Dordrecht). 2005, Vol 10, Num 3, pp 283-305, issn 1383-7133, 23 p.Article

Reasoning about actions with CHRs and finite domain constraintsTHIELSCHER, Michael.Lecture notes in computer science. 2002, pp 70-84, issn 0302-9743, isbn 3-540-43930-7, 15 p.Conference Paper

Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal latticesDAL PALU, Alessandro; DOVIER, Agostino; PONTELLI, Enrico et al.International journal of data mining and bioinformatics (Print). 2010, Vol 4, Num 1, pp 1-20, issn 1748-5673, 20 p.Article

The solution of N=2 supergravity constraints in terms of N=1 superfieldsAWADA, M. A; MOKHTARI, S.Physics letters. Section B. 1984, Vol 144, Num 3-4, pp 193-198, issn 0370-2693Article

Temporal concurrent constraint programmingVALENCIA, Frank D.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42863-1, p. 786Conference Paper

Translations for comparing soft frameworksGENNARI, Rosella.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42863-1, p. 764Conference Paper

«Automates et contraintes ensemblistes» = «Automata and set constraints»Tommasi, Marc; Tison, Sophie.1994, 138 p.Thesis