María Alpuente - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged constraints

A Stronger LP Bound for Formula Size Lower Bounds via Clique ConstraintsKenya Ueno. STACS 2009: 685-696 [doi]

A unified theory of structural tractability for constraint satisfaction problemsDavid A. Cohen, Peter Jeavons, Marc Gyssens. jcss, 74(5):721-743, 2008. [doi]

A Framework for Timed Concurrent Constraint Programming with External FunctionsMaría Alpuente, Bernhard Gramlich, Alicia Villanueva. ENTCS, 188:143-155, 2007. [doi]

Implementation of plug-and-play ESD protection in 5.5GHz 90nm RF CMOS LNAs - Concepts, constraints and solutionsS. Thijs, M. Natarajan Iyer, D. Linten, Wutthinan Jeamsaksiri, T. Daenen, Robin Degraeve, Andries Scholten, Stefaan Decoutere, Guido Groeseneken. mr, 46(5-6):702-712, 2006. [doi]

Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniquesLaurent Granvilliers, Frédéric Benhamou. TOMS, 32(1):138-156, 2006. [doi]

Quantum mechanical calculation of the effects of stiff and rigid constraints in the conformational equilibrium of the alanine dipeptidePablo Echenique, Iván Calvo, José Luis Alonso. jcc, 27(14):1733-1747, 2006. [doi]

Spines of random constraint satisfaction problems: definition and connection with computational complexityGabriel Istrate, Stefan Boettcher, Allon G. Percus. AMAI, 44(4):353-372, 2005. [doi]

Inter-distance Constraint: An Extension of the All-Different Constraint for Scheduling Equal Length JobsKonstantin Artiouchine, Philippe Baptiste. cp 2005: 62-76 [doi]

Haptic Task Constraints fo 3D InteractionOlaf Körner, Reinhard Männer. haptics 2003: 278-284 [doi]

Constraint-driven hierarchical information extractionThomas Lee. IJCAI 2003: 213 [doi]

Maximal antichains under dimension constraintsRudolf Ahlswede, Harout K. Aydinian, Levon H. Khachatrian. DM, 273(1-3):23-29, 2003. [doi]

Extremal problems under dimension constraintsRudolf Ahlswede, Harout K. Aydinian, Levon H. Khachatrian. DM, 273(1-3):9-21, 2003. [doi]

Combinatorial Constraints on Multiple Projections of a Set of PointsTomás Werner. iccv 2003: 1011-1016 [doi]

Studying Interchangeability in Constraint Satisfaction ProblemsNicoleta Neagu. cp 2002: 787-788 [doi]

Representation and Reasoning with Multi-Point EventsRattana Wetprasit, Abdul Sattar, Lina Khatib. constraints, 5(3):211-249, 2000.

SHAKE, rattle, and roll: Efficient constraint algorithms for linked rigid bodiesTimothy R. Forester, William Smith. jcc, 21(2):157, 2000. [doi]

Planning texts by constraint satisfactionRichard Power. COLING 2000: 642-648 [doi]

Constraint Satisfaction for Reconciling Heterogeneous Tree DatabasesHajime Kitakami, Mitsuko Nishimoto. DEXA 2000: 624-633 [doi]

Declarative Modelling of Constraint Propagation StrategiesLaurent Granvilliers, Eric Monfroy. advis 2000: 201-215 [doi]

Error Propogation from Camera Motion to Epipolar ConstraintXinquan Shen, Phil Palmer, Philip F. McLauchlan, Adrian Hilton. bmvc 2000: 1-10 [doi]

A 75:::°::: Angle Constraint for Plane Minimal T1 TreesT. Cole. jco, 4(2):271-284, 2000.

Maximizing the number of mixed packages subject to variety constraintsDavid J. Robb, Dan Trietsch. cor, 26(13):1323-1333, 1999. [doi]

Retrieving Domain-Specific Collocations by Co-occurrences and Word Order ConstraintsSayori Shimohata, Toshiyuki Sugio, Junji Nagata. ci, 15:92-100, 1999.

Coherence as Constraint SatisfactionPaul Thagard, Karsten A. Verbeurgt. cogsci, 22(1):1-24, 1998.

CMOS analog circuit stack generation with matching constraintsRavindranath Naiknaware, Terri S. Fiez. iccad 1998: 371-375 [doi]

SHAKE, rattle, and roll: Efficient constraint algorithms for linked rigid bodiesTimothy R. Forester, William Smith. jcc, 19(1):102-111, 1998. [doi]

The growth of multi-constraint random knapsacks with large right-hand sides of the constraintsK. Szkatuza. orl, 21(1):25-30, 1997. [doi]

Grid Structure and Undecidable Constraint TheoriesFranck Seynhaeve, Marc Tommasi, Ralf Treinen. tapsoft 1997: 357-368

Integrity Constraint Checking in Federated DatabasesPaul W. P. J. Grefen, Jennifer Widom. coopis 1996: 38-47

Global Behaviour for Complex ConstraintsStéphane N Dong, Michel Van Caneghem. cp 1996: 553-554

An Integrity Constraint Checking Method for Temporal Deductive DatabasesCarme Martín, Jaume Sistac. time 1996: 136-141

Incremental Constraint Satisfaction for Equational Logic ProgrammingMaría Alpuente, Moreno Falaschi, Giorgio Levi. TCS, 142(1):27-57, 1995. [doi]

Constraint Processing, Selected PapersManfred Meyer, editor, Volume 923 of Lecture Notes in Computer Science, Springer, 1995.

Combining Hill Climbing and Forward Checking for Handling Disjunctive ConstraintsDan R. Vlasie. cp 1995: 247-265

On maximizing linear system output energy with an input envelope constraintJohn S. Sadowsky. TIT, 40(1):251, 1994.

Incremental Equational Constraint AnalysesMaría Alpuente, Moreno Falaschi, Germán Vidal. SLP 1993: 657

Towards equitable distribution via proportional equity constraintsNicholas G. Hall, Rakesh V. Vohra. mp, 58:287-294, 1993.

An Equational Constraint Logic Approach to Database DesignMaría Alpuente, María José Ramírez. DEXA 1992: 26-31

On the Satisfiability of Complex ConstraintsLuís Damas, Giovanni B. Varile. COLING 1992: 108-112 [doi]

Reasoning with Constraints, Panel Position PaperCatherine Lassez. fgcs 1992: 1066-1070

Narrowing as an Incremental Constraint Satisfaction AlgorithmMaría Alpuente, Moreno Falaschi. plilp 1991: 111-122

Constraints on Predicate InventionRüdiger Wirth, Paul O Rorke. icml 1991: 457-461

A Full Sensing Window Random-Access Algorithm for Messages with Strict Delay ConstraintsMichael Paterakis, Leonidas Georgiadis, Panayota Papantoni-Kazakos. algorithmica, 4(3):313-328, 1989.

Using Chargeback Systems to Alleviate Resource Constraints and Improve System PerformanceGregory V. Caliri, Thomas R. Brown. cmg 1989: 1342-1347

Increasing Availability Under Mutual Exclusion Constraints with Dynamic Vote ReassignmentDaniel Barbará, Hector Garcia-Molina, Annemarie Spauster. tocs, 7(4):394-426, 1989. [doi]

Applications of a Canonical Form of Gerneralized Linear ConstraintsJean-Louis Lassez, Ken McAloon. fgcs 1988: 703-710

Codon constraints on closed 2D shapesWhitman Richards, Donald D. Hoffman. cvgip, 31(3):265-281, 1985. [doi]

MACSYMA s Computation of Dirac-Bergmann Algorithm for Hamiltonian Systems with ConstraintsPh. Tombal, A. Moussiaux. eurocal 1985: 201-202

Optimum waveform signal sets with amplitude and energy constraintsAaron D. Wyner, Henry J. Landau. TIT, 30(4):615-622, 1984.

Physical and informational constraints on the perception of transparency and translucencyMichael H. Brill. cvgip, 28(3):356-362, 1984. [doi]

runs on WebDSL