Vadim Zaytsev - 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]

A domain decomposition algorithm for constraint satisfactionWady Naanaa. jea, 13, 2008. [doi]

Single machine scheduling with job ready and delivery times subject to resource constraintsWladyslaw A. Janiak, Adam Janiak, Marie-Claude Portmann. ipps 2008: 1-7 [doi]

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

Modelling and Model Checking of Distributed SystemsVadim Zaytsev. Master's thesis, Rostov State University, Rostov-on-Don, Russia, June 2003.

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

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.

Two-Page Book Embedding of Trees under Vertex-Neighborhood ConstraintsShlomo Moran, Yaron Wolfsthal. DAM, 43(3):233-241, 1993. [doi]

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

A Module Mechanism for Constraints in SmalltalkBjørn N. Freeman-Benson. OOPSLA 1989: 389-396

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