Relevant bibliographies by topics / VARIABLE ORDERING

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'VARIABLE ORDERING'

Author: Grafiati
Published: 4 June 2021
Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'VARIABLE ORDERING.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "VARIABLE ORDERING"

1

Ortiz-Bayliss, José Carlos, Ivan Amaya, Santiago Enrique Conant-Pablos, and Hugo Terashima-Marín. "Exploring the Impact of Early Decisions in Variable Ordering for Constraint Satisfaction Problems." Computational Intelligence and Neuroscience 2018 (2018): 1–14. http://dx.doi.org/10.1155/2018/6103726.

Full text
Abstract:
When solving constraint satisfaction problems (CSPs), it is a common practice to rely on heuristics to decide which variable should be instantiated at each stage of the search. But, this ordering influences the search cost. Even so, and to the best of our knowledge, no earlier work has dealt with how first variable orderings affect the overall cost. In this paper, we explore the cost of finding high-quality orderings of variables within constraint satisfaction problems. We also study differences among the orderings produced by some commonly used heuristics and the way bad first decisions affec
APA, Harvard, Vancouver, ISO, and other styles
2

Kissmann, P., and J. Hoffmann. "BDD Ordering Heuristics for Classical Planning." Journal of Artificial Intelligence Research 51 (December 30, 2014): 779–804. http://dx.doi.org/10.1613/jair.4586.

Full text
Abstract:
Symbolic search using binary decision diagrams (BDDs) can often save large amounts of memory due to its concise representation of state sets. A decisive factor for this method's success is the chosen variable ordering. Generally speaking, it is plausible that dependent variables should be brought close together in order to reduce BDD sizes. In planning, variable dependencies are typically captured by means of causal graphs, and in preceding work these were taken as the basis for finding BDD variable orderings. Starting from the observation that the two concepts of "dependency" are actually qui
APA, Harvard, Vancouver, ISO, and other styles
3

Grüttemeier, Niels, Christian Komusiewicz, and Nils Morawietz. "Efficient Bayesian Network Structure Learning via Parameterized Local Search on Topological Orderings." Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 14 (2021): 12328–35. http://dx.doi.org/10.1609/aaai.v35i14.17463.

Full text
Abstract:
In Bayesian Network Structure Learning (BNSL), we are given a variable set and parent scores for each variable and aim to compute a DAG, called Bayesian network, that maximizes the sum of parent scores, possibly under some structural constraints. Even very restricted special cases of BNSL are computationally hard, and, thus, in practice heuristics such as local search are used. In a typical local search algorithm, we are given some BNSL solution and ask whether there is a better solution within some pre-defined neighborhood of the solution. We study ordering-based local search, where a solutio
APA, Harvard, Vancouver, ISO, and other styles
4

Singh, Harshinder, and Kanchan Jain. "Preservation of some partial orderings under Poisson shock models." Advances in Applied Probability 21, no. 3 (1989): 713–16. http://dx.doi.org/10.2307/1427647.

Full text
Abstract:
Suppose each of the two devices is subjected to shocks occurring randomly as events in a Poisson process with constant intensity λ. Let Pk denote the probability that the first device will survive the first k shocks and let denote such a probability for the second device. Let and denote the survival functions of the first and the second device respectively. In this note we show that some partial orderings, namely likelihood ratio ordering, failure rate ordering, stochastic ordering, variable ordering and mean residual-life ordering between the shock survival probabilities and are preserved by
APA, Harvard, Vancouver, ISO, and other styles
5

Singh, Harshinder, and Kanchan Jain. "Preservation of some partial orderings under Poisson shock models." Advances in Applied Probability 21, no. 03 (1989): 713–16. http://dx.doi.org/10.1017/s0001867800018929.

Full text
Abstract:
Suppose each of the two devices is subjected to shocks occurring randomly as events in a Poisson process with constant intensity λ. Let Pk denote the probability that the first device will survive the first k shocks and let denote such a probability for the second device. Let and denote the survival functions of the first and the second device respectively. In this note we show that some partial orderings, namely likelihood ratio ordering, failure rate ordering, stochastic ordering, variable ordering and mean residual-life ordering between the shock survival probabilities and are preserved by
APA, Harvard, Vancouver, ISO, and other styles
6

Chang, Cheng-Shang. "A new ordering for stochastic majorization: theory and applications." Advances in Applied Probability 24, no. 3 (1992): 604–34. http://dx.doi.org/10.2307/1427482.

Full text
Abstract:
In this paper, we develop a unified approach for stochastic load balancing on various multiserver systems. We expand the four partial orderings defined in Marshall and Olkin, by defining a new ordering based on the set of functions that are symmetric, L-subadditive and convex in each variable. This new partial ordering is shown to be equivalent to the previous four orderings for comparing deterministic vectors but differs for random vectors. Sample-path criteria and a probability enumeration method for the new stochastic ordering are established and the ordering is applied to various fork-join
APA, Harvard, Vancouver, ISO, and other styles
7

Chang, Cheng-Shang. "A new ordering for stochastic majorization: theory and applications." Advances in Applied Probability 24, no. 03 (1992): 604–34. http://dx.doi.org/10.1017/s0001867800024435.

Full text
Abstract:
In this paper, we develop a unified approach for stochastic load balancing on various multiserver systems. We expand the four partial orderings defined in Marshall and Olkin, by defining a new ordering based on the set of functions that are symmetric, L-subadditive and convex in each variable. This new partial ordering is shown to be equivalent to the previous four orderings for comparing deterministic vectors but differs for random vectors. Sample-path criteria and a probability enumeration method for the new stochastic ordering are established and the ordering is applied to various fork-join
APA, Harvard, Vancouver, ISO, and other styles
8

Sompolska-Rzechuła, Agnieszka. "Selection of the method of linear ordering using the example of assessing the level of socio-economic development of European Union countries." Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu 64, no. 7 (2020): 118–29. http://dx.doi.org/10.15611/pn.2020.7.09.

Full text
Abstract:
The aim of the article is to present the issues of choosing the optimal procedure for the linear ordering of objects and assessing the correctness of the selected methods of the linear ordering. The goal was achieved by creating linear ordering of objects using various methods for normalizing the value of diagnostic features. An aggregate measure based on various properties of the synthetic feature was used to select the optimal ordering, among others, the compatibility of the mapping, the correlation of the synthetic line variable with diagnostic variables, the rank correlation of the synthet
APA, Harvard, Vancouver, ISO, and other styles
9

Xu, Hong, Kexuan Sun, Sven Koenig, and T. K. Satish Kumar. "Decision Tree Learning-Inspired Dynamic Variable Ordering for the Weighted CSP." Proceedings of the International Symposium on Combinatorial Search 11, no. 1 (2021): 91–99. http://dx.doi.org/10.1609/socs.v11i1.18539.

Full text
Abstract:
The weighted constraint satisfaction problem (WCSP) is a powerful mathematical framework for combinatorial optimization. The branch and bound search paradigm is very successful in solving the WCSP but critically depends on the ordering in which variables are instantiated. In this paper, we introduce a new framework for dynamic variable ordering for solving the WCSP. This framework is inspired by regression decision tree learning. Variables are ordered dynamically based on samples of random assignments of values to variables as well as their corresponding total weights. Within this framework, w
APA, Harvard, Vancouver, ISO, and other styles
10

Kissmann, Peter, and Jörg Hoffmann. "What’s in It for My BDD? On Causal Graphs and Variable Orders in Planning." Proceedings of the International Conference on Automated Planning and Scheduling 23 (June 2, 2013): 327–31. http://dx.doi.org/10.1609/icaps.v23i1.13598.

Full text
Abstract:
One decisive factor for the success of symbolic search using BDDs is whether or not the variable ordering is good. A general intuition is that smaller BDDs result if inter-dependent variables are close together. The most common means to capture variable dependencies in planning are causal graphs, and consequently previous work defined variable orders based on these. Starting from the observation that the two concepts of “dependency” are actually quite different, we introduce a framework for assessing the strength of variable ordering heuristics in sub-classes of planning. It turns out that cau
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "VARIABLE ORDERING"

1

Angeles, Martinez Rene. "Coulomb gluons and the ordering variable." Thesis, University of Manchester, 2016. https://www.research.manchester.ac.uk/portal/en/theses/coulomb-gluons-and-the-ordering-variable(c9d90246-4afa-4647-aece-bdd9605b7692).html.

Full text
Abstract:
In this thesis, we study the soft gluon corrections to hard wide-angle scattering processes due to a virtual gluon exchange (one-loop order) and the emission of up to two gluons. Our primary aim is to determine the ordering condition that should be used to dress a hard scattering process with corrections due to gluon emissions and a Coulomb (Glauber) gluon exchange. We find that, due to an elegant cancellation of many Feynman diagrams, a specific ordering variable should be used to order the transverse momentum of the exchanged Coulomb gluon with respect to the real emissions. Furthermore, in
APA, Harvard, Vancouver, ISO, and other styles
2

Bartlett, Lisa Marie. "Variable ordering heuristics for binary decision diagrams." Thesis, Loughborough University, 2000. https://dspace.lboro.ac.uk/2134/10362.

Full text
Abstract:
Fault tree analysis, FTA, is one of the most commonly used techniques for safety system assessment. Over the past five years the Binary Decision Diagram (BDD) methodology has been introduced which significantly aids the analysis of the fault tree diagram. The approach has been shown to improve both the efficiency of determining the minimal cut sets of the fault tree, and also the accuracy of the calculation procedure used to quantifY the top event parameters. To utilise the BDD technique the fault tree structure needs to be converted into the BDD format. Converting the fault tree is relatively
APA, Harvard, Vancouver, ISO, and other styles
3

Kwan, Alvin Chi Ming. "A framework for mapping constraint satisfaction problems to solution methods." Thesis, University of Essex, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.339436.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Soleimani, Behnam [Verfasser], Christiane [Akademischer Betreuer] Tammer, and Akhtar [Akademischer Betreuer] Khan. "Vector optimization problems with variable ordering structures / Behnam Soleimani. Betreuer: Christiane Tammer ; Akhtar Khan." Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2015. http://d-nb.info/1069814768/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Natarajan, Ramkumar. "Efficient Factor Graph Fusion for Multi-robot Mapping." Digital WPI, 2017. https://digitalcommons.wpi.edu/etd-theses/1201.

Full text
Abstract:
"This work presents a novel method to efficiently factorize the combination of multiple factor graphs having common variables of estimation. The fast-paced innovation in the algebraic graph theory has enabled new tools of state estimation like factor graphs. Recent factor graph formulation for Simultaneous Localization and Mapping (SLAM) like Incremental Smoothing and Mapping using the Bayes tree (ISAM2) has been very successful and garnered much attention. Variable ordering, a well-known technique in linear algebra is employed for solving the factor graph. Our primary contribution in this wor
APA, Harvard, Vancouver, ISO, and other styles
6

Park, Vincent Se-jin. "AN EMPIRICAL STUDY OF DIFFERENT BRANCHING STRATEGIES FOR CONSTRAINT SATISFACTION PROBLEMS." Thesis, University of Waterloo, 2004. http://hdl.handle.net/10012/1193.

Full text
Abstract:
Many real life problems can be formulated as constraint satisfaction problems <i>(CSPs)</i>. Backtracking search algorithms are usually employed to solve <i>CSPs</i> and in backtracking search the choice of branching strategies can be critical since they specify how a search algorithm can instantiate a variable and how a problem can be reduced into subproblems; that is, they define a search tree. In spite of the apparent importance of the branching strategy, there have been only a few empirical studies about different branching strategies and they all have been tested exclusively for nume
APA, Harvard, Vancouver, ISO, and other styles
7

Lipfert, Tobias. "Ordering effects in quantum optics." Thesis, Lille 1, 2019. http://www.theses.fr/2019LIL1R007/document.

Full text
Abstract:
En optique quantique, la nature quantique de la lumière se manifeste dans des effets d’ordonnement d’opérateurs, inexistants en optique classique. Cette thèse est consacrée à une étude détaillée de ce type d’effets d’ordonnement dus à la dynamique des systèmes physiques. Nous considérons deux systèmes en particulier, 1) la conversion paramétrique descendante dans un milieu χ (2), et 2) un ion dans un piège de Paul entraı̂né par un champ classique; décrit par un modèle de Jaynes-Cummings non linéaire. Les effets d’ordonnement dans ces systèmes dynamiques sont étudiés via le développement et l’a
APA, Harvard, Vancouver, ISO, and other styles
8

Lipfert, Tobias. "Ordering effects in quantum optics." Electronic Thesis or Diss., Université de Lille (2018-2021), 2019. http://www.theses.fr/2019LILUR007.

Full text
Abstract:
En optique quantique, la nature quantique de la lumière se manifeste dans des effets d’ordonnement d’opérateurs, inexistants en optique classique. Cette thèse est consacrée à une étude détaillée de ce type d’effets d’ordonnement dus à la dynamique des systèmes physiques. Nous considérons deux systèmes en particulier, 1) la conversion paramétrique descendante dans un milieu χ (2), et 2) un ion dans un piège de Paul entraı̂né par un champ classique; décrit par un modèle de Jaynes-Cummings non linéaire. Les effets d’ordonnement dans ces systèmes dynamiques sont étudiés via le développement et l’a
APA, Harvard, Vancouver, ISO, and other styles
9

張世龍. "Variable Ordering Optimization for OBDD." Thesis, 2004. http://ndltd.ncl.edu.tw/handle/37036053904783361877.

Full text
Abstract:
碩士<br>大葉大學<br>資訊工程學系碩士班<br>92<br>OBDD (Ordered binary decision diagrams) is the most popular data structure for Boolean function representation in modern logic synthesis/verification EDA tools. It is obvious that the variable ordering is the key factor for reducing the size (nodes) of an OBDD. Therefore, how to find an effective variable order is the most critical issue during OBDD construction. Observing the constructed OBDD of a given variable order, we find that the number of nodes of the OBDD is proportional to the number of branches of the OBDD. Based on this observation, we propose an al
APA, Harvard, Vancouver, ISO, and other styles
10

Yen, Hsiu-Feng, and 顏秀鳳. "Optimal ordering policy for inventory system involving variable lead time and time value of money." Thesis, 2002. http://ndltd.ncl.edu.tw/handle/25403800135379225511.

Full text
Abstract:
碩士<br>淡江大學<br>管理科學學系<br>90<br>This thesis proposes the stochastic inventory mathematical model for the continuous review inventory systems under simultaneously taking account to the controllable lead time and time value of money. In the model, the shortages are allowed and the total amount of stockout during the stockout period is considered to be a mixture of backorders and lost sales. In addition, the common decision variables are the order quantity, reorder point and lead time. In this proposal, we first consider the case where the demand of lead time follows a normal distribution, and then
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "VARIABLE ORDERING"

1

Eichfelder, Gabriele. Variable Ordering Structures in Vector Optimization. Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-642-54283-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Pečarić, J. E. Convex functions, partial orderings, and statistical applications. Academic Press, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Pečarić, J. E. Convex functions, partial orderings and statistical applications. Academic Press, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Dario, Basso, ed. Permutation tests for stochastic ordering and ANOVA: Theory and applications with R. Springer, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Dario, Basso, ed. Permutation tests for stochastic ordering and ANOVA: Theory and applications with R. Springer, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Eichfelder, Gabriele. Variable Ordering Structures in Vector Optimization. Springer, 2016.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Eichfelder, Gabriele. Variable Ordering Structures in Vector Optimization. Springer, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Eichfelder, Gabriele. Variable Ordering Structures in Vector Optimization. Springer London, Limited, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Bartlett, Lisa Marie. Variable ordering heuristics for binary decision diagrams. 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Compton, Richard. Adjuncts as a diagnostic of polysynthetic word formation in Inuit. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198778264.003.0013.

Full text
Abstract:
This chapter examines polysynthetic word formation in Inuit (Eskimo-Aleut), using the presence and variable ordering of a closed class of adverbs within verbal complexes as a diagnostic device to evaluate the adequacy of different accounts of word formation. It is argued that a head movement account of Mirror Principle orders within Inuit words undergenerates with respect to the observed variation in adverb ordering, particularly if a fixed hierarchy of adverbial functional projections is assumed, as in Cinque (1999). Instead, it is shown that an analysis that employs a right-headed structure,
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "VARIABLE ORDERING"

1

Bergman, David, Andre A. Cire, Willem-Jan van Hoeve, and John Hooker. "Variable Ordering." In Artificial Intelligence: Foundations, Theory, and Algorithms. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-42849-9_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Eichfelder, Gabriele. "Variable Ordering Structures." In Vector Optimization. Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-642-54283-1_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Minato, Shin-ichi. "Variable Ordering for BDDs." In The Kluwer International Series in Engineering and Computer Science. Springer US, 1996. http://dx.doi.org/10.1007/978-1-4613-1303-8_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Beck, J. Christopher, Patrick Prosser, and Richard J. Wallace. "Variable Ordering Heuristics Show Promise." In Principles and Practice of Constraint Programming – CP 2004. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30201-8_52.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Prasad, P. W. Chandana, M. Maria Dominic, and Ashutosh Kumar Singh. "Improved Variable Ordering for ROBDDs." In Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-24594-0_55.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Bacchus, Fahiem, and Paul Run. "Dynamic variable ordering in CSPs." In Principles and Practice of Constraint Programming — CP '95. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60299-2_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Eichfelder, Gabriele. "Variable Ordering Structures in Vector Optimization." In Vector Optimization. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21114-0_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Möller, Dirk, Paul Molitor, and Rolf Drechsler. "Symmetry Based Variable Ordering for ROBDDs." In IFIP Advances in Information and Communication Technology. Springer US, 1995. http://dx.doi.org/10.1007/978-0-387-34920-6_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Mehta, Deepak, Barry O’Sullivan, and Luis Quesada. "Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering." In Principles and Practice of Constraint Programming – CP 2011. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23786-7_46.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Bain, Stuart, John Thornton, and Abdul Sattar. "Evolving Variable-Ordering Heuristics for Constrained Optimisation." In Principles and Practice of Constraint Programming - CP 2005. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11564751_54.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "VARIABLE ORDERING"

1

Dibaei, Mahdi, Kai-Steffen Hielscher, and Reinhard German. "A Heuristic Variable Ordering Approach for Fault Tree Conversion to Binary Decision Diagram." In 2024 6th International Conference on System Reliability and Safety Engineering (SRSE). IEEE, 2024. https://doi.org/10.1109/srse63568.2024.10772497.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Earthperson, Arjun, Egemen Aras, Asmaa Farag, and Mihai Diaconeasa. "Towards a Deep-Learning based Heuristic for Optimal Variable Ordering in Binary Decision Diagrams to Support Fault Tree Analysis." In Advanced Reactor Safety (ARS). American Nuclear Society, 2024. http://dx.doi.org/10.13182/t130-43397.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bommer, Sean P., Christopher L. Panuski, Benoit Guilhabert, et al. "Overcoming Nanofabrication Variance in Photonic Crystal Cavities by Transfer Print Integration." In CLEO: Applications and Technology. Optica Publishing Group, 2024. http://dx.doi.org/10.1364/cleo_at.2024.af1e.3.

Full text
Abstract:
Two-dimensional silicon photonic crystal cavities were transfer printed as individual pixels from their native substrate. In-situ spectral measurement during printing facilitated spatial ordering of 119 devices, with sub-linewidth deviations observed during printing.
APA, Harvard, Vancouver, ISO, and other styles
4

Du, Suguo, and Yan Sun. "Comparison of Progressive Variable Ordering Methods with Fixed Ordering Heuristics." In 2007 International Conference on Wireless Communications, Networking and Mobile Computing. IEEE, 2007. http://dx.doi.org/10.1109/wicom.2007.1126.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Gomez-Prado, D., Q. Ren, S. Askar, M. Ciesielski, and E. Boutillon. "Variable ordering for taylor expansion diagrams." In Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940). IEEE, 2004. http://dx.doi.org/10.1109/hldvt.2004.1431235.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Li, Shuolin, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, and Felip Manyà. "A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers." In Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}. International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/ijcai.2023/220.

Full text
Abstract:
Bounded Variable Elimination (BVE) is an important Boolean formula simplification technique in which the variable ordering is crucial. We define a new variable ordering based on variable activity, called ESA (variable Elimination Scheduled by Activity), for in-processing BVE in Conflict-Driven Clause Learning (CDCL) SAT solvers, and incorporate it into several state-of-the-art CDCL SAT solvers. Experimental results show that the new ESA ordering consistently makes these solvers solve more instances on the benchmark set including all the 5675 instances used in the Crafted, Application and Main
APA, Harvard, Vancouver, ISO, and other styles
7

Harlow, Justin E., and Franc Brglez. "Design of experiments in BDD variable ordering." In the 1998 IEEE/ACM international conference. ACM Press, 1998. http://dx.doi.org/10.1145/288548.289103.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Lu, Yuan, Jawahar Jain, Edmund Clarke, and Masahiro Fujita. "Efficient variable ordering using aBDD based sampling." In the 37th conference. ACM Press, 2000. http://dx.doi.org/10.1145/337292.337614.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Davin, John, and Pragnesh Jay Modi. "Hierarchical variable ordering for distributed constraint optimization." In the fifth international joint conference. ACM Press, 2006. http://dx.doi.org/10.1145/1160633.1160902.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Aziz, Adnan, Serdar Taşiran, and Robert K. Brayton. "BDD variable ordering for interacting finite state machines." In the 31st annual conference. ACM Press, 1994. http://dx.doi.org/10.1145/196244.196379.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "VARIABLE ORDERING"

1

Chechetka, Anton, and Katia Sycara. A Decentralized Variable Ordering Method for Distributed Constraint Optimization. Defense Technical Information Center, 2005. http://dx.doi.org/10.21236/ada598539.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Sadeh, Norman M., and Mark S. Fox. Variable and Value Ordering Heuristics for the Job Shop Scheduling Constraint Satisfaction Problem. Defense Technical Information Center, 1995. http://dx.doi.org/10.21236/ada311303.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bacelli, Francois, and Armand M. Makowski. Multi-Dimensional Stochastic Ordering and Associated Random Variables. Defense Technical Information Center, 1987. http://dx.doi.org/10.21236/ada453456.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Galindo, Arturo, and Victoria Nuguer. Fuel-Price Shocks and Inflation in Latin America and the Caribbean. Inter-American Development Bank, 2023. http://dx.doi.org/10.18235/0004724.

Full text
Abstract:
We estimate the impact of fuel-commodity price shocks on inflation and inflation expectations for eight Latin American countries in which monetary policy follows inflation-targeting frameworks. We use Bayesian Vector Autoregressive models (BVARs) and data from 2005 and up to 2022 to quantify these impacts. We find that the fuel-price shocks are significant in all cases and the response ranges between 0.01 and 0.04 percentage points of inflation, following a 1 p.p. shock to fuel prices. A variance decomposition exercise shows that more than 50% of the outburst in inflation that these countries
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'VARIABLE ORDERING' for particular source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography