Amir Pnueli - 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]

Minimum Acceleration Criterion with Constraints Implies Bang-Bang Control as an Underlying Principle for Optimal Trajectories of Arm Reaching MovementsShay Ben-Itzhak, Amir Karniel. neco, 20(3):779-812, 2008. [doi]

Satisfying Assignments of Random Boolean Constraint Satisfaction Problems: Clusters and OverlapsGabriel Istrate. jucs, 13(11):1655-1670, 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]

LSP protection for delay-differentiated dynamic traffic in IP-over-WDM networks with port constraintsQ. Zheng, G. Mohan. comcom, 29(9):1402-1412, 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]

Threshold properties of random boolean constraint satisfaction problemsGabriel Istrate. DAM, 153(1-3):141-152, 2005. [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]

TimeC: A Time Constraint Language for ILP Processor CompilationAllen Leung, Krishna V. Palem, Amir Pnueli. constraints, 7(2):75-115, 2002.

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

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.

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

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

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