Relevant bibliographies by topics / Conflict clauses

Contents

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

Academic literature on the topic 'Conflict clauses'

Author: Grafiati
Published: 8 June 2024
Last updated: 31 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 'Conflict clauses.'

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 "Conflict clauses"

1

Chowdhury, Md Solimul, Martin Müller, and Jia-Huai You. "Exploring Conflict Generating Decisions: Initial Results (Extended Abstract)." Proceedings of the International Symposium on Combinatorial Search 17 (June 1, 2024): 267–68. http://dx.doi.org/10.1609/socs.v17i1.31574.

Full text
Abstract:
Boolean Satisfiability (SAT) is an NP-complete problem, indicating its inherent computational hardness. However, Conflict Driven Clause Learning (CDCL) SAT solvers efficiently tackle large instances in diverse domains. Swift conflict identification is crucial for effective problem-solving, as conflicts lead to the learning of search space pruning clauses, pinpointing the root causes of conflicts and preventing their recurrence. CDCL decision heuristics prioritize variables that participated in recent conflicts, anticipating rapid conflict generation and expediting additional clause learning. I
APA, Harvard, Vancouver, ISO, and other styles
2

Bonet, M. L., S. Buss, and J. Johannsen. "Improved Separations of Regular Resolution from Clause Learning Proof Systems." Journal of Artificial Intelligence Research 49 (April 23, 2014): 669–703. http://dx.doi.org/10.1613/jair.4260.

Full text
Abstract:
This paper studies the relationship between resolution and conflict driven clause learning (CDCL) without restarts, and refutes some conjectured possible separations. We prove that the guarded, xor-ified pebbling tautology clauses, which Urquhart proved are hard for regular resolution, as well as the guarded graph tautology clauses of Alekhnovich, Johannsen, Pitassi, and Urquhart have polynomial size pool resolution refutations that use only input lemmas as learned clauses. For the latter set of clauses, we extend this to prove that a CDCL search without restarts can refute these clauses in po
APA, Harvard, Vancouver, ISO, and other styles
3

Purnamasari, Wulan, Elza Syarief, and Rina S. Shahrullah. "The Conflict of Trade Secret Protection and Workers’ Rights in Non-Competition Clauses." SIGn Jurnal Hukum 5, no. 1 (2023): 168–81. http://dx.doi.org/10.37276/sjh.v5i1.273.

Full text
Abstract:
This study aims to scrutinize the Non-Competition Clauses in employment contracts as a manifestation of trade secrets and understand how these clauses impact an individual’s right to choose employment. This study uses normative legal research with the statute and comparative approaches. The collected legal material is then qualitatively analyzed to describe the problem and answer study purposes. The results show that including Non-Competition Clauses in employment contracts by employers is a strategic measure to protect trade secrets from competitors. However, every contract must fulfill the r
APA, Harvard, Vancouver, ISO, and other styles
4

Krüger, Tom, Jan-Hendrik Lorenz, and Florian Wörz. "Too much information: Why CDCL solvers need to forget learned clauses." PLOS ONE 17, no. 8 (2022): e0272967. http://dx.doi.org/10.1371/journal.pone.0272967.

Full text
Abstract:
Conflict-driven clause learning (CDCL) is a remarkably successful paradigm for solving the satisfiability problem of propositional logic. Instead of a simple depth-first backtracking approach, this kind of solver learns the reason behind occurring conflicts in the form of additional clauses. However, despite the enormous success of CDCL solvers, there is still only a limited understanding of what influences the performance of these solvers in what way. Considering different measures, this paper demonstrates, quite surprisingly, that clause learning (without being able to get rid of some clause
APA, Harvard, Vancouver, ISO, and other styles
5

Кондратьев, В. С., А. А. Семенов, and О. С. Заикин. "Duplicates of conflict clauses in CDCL derivation and their usage to invert some cryptographic functions." Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie), no. 1 (January 20, 2019): 54–66. http://dx.doi.org/10.26089/nummet.v20r106.

Full text
Abstract:
Изучен феномен повторного порождения конфликтных ограничений SAT-решателями в процессе работы с трудными экземплярами задачи о булевой выполнимости. Данный феномен является следствием применения эвристических механизмов чистки конфликтных баз, которые реализованы во всех современных SAT-решателях, основанных на алгоритме CDCL (Conflict Driven Clause Learning). Описана новая техника, которая позволяет отслеживать повторно порождаемые дизъюнкты и запрещать их последующее удаление. На базе предложенных технических решений построен новый многопоточный SAT-решатель (SAT, SATisfiability), который на
APA, Harvard, Vancouver, ISO, and other styles
6

Van Poecke, Thomas, Frank Verbruggen, and Ward Yperman. "Terrorist offences and international humanitarian law: The armed conflict exclusion clause." International Review of the Red Cross 103, no. 916-917 (2021): 295–324. http://dx.doi.org/10.1017/s1816383121000321.

Full text
Abstract:
AbstractWhile armed conflicts are principally governed by international humanitarian law (IHL), activities of members of non-State armed groups and their affiliates may also qualify as terrorist offences. After explaining why the concurrent application of IHL and criminal law instruments on terrorism causes friction, this article analyzes the chief mechanism for dissipating this friction: a clause excluding activities governed by IHL from the scope of criminal law instruments on terrorism. Such armed conflict exclusion clauses exist at the international, regional and national level. This artic
APA, Harvard, Vancouver, ISO, and other styles
7

Spallitta, Giuseppe, Roberto Sebastiani, and Armin Biere. "Disjoint Partial Enumeration without Blocking Clauses." Proceedings of the AAAI Conference on Artificial Intelligence 38, no. 8 (2024): 8126–35. http://dx.doi.org/10.1609/aaai.v38i8.28652.

Full text
Abstract:
A basic algorithm for enumerating disjoint propositional models (disjoint AllSAT) is based on adding blocking clauses incrementally, ruling out previously found models. On the one hand, blocking clauses have the potential to reduce the number of generated models exponentially, as they can handle partial models. On the other hand, the introduction of a large number of blocking clauses affects memory consumption and drastically slows down unit propagation. We propose a new approach that allows for enumerating disjoint partial models with no need for blocking clauses by integrating: Conflict-Driv
APA, Harvard, Vancouver, ISO, and other styles
8

HAMADI, YOUSSEF, SAÏD JABBOUR, and LAKHDAR SAÏS. "LEARNING FOR DYNAMIC SUBSUMPTION." International Journal on Artificial Intelligence Tools 19, no. 04 (2010): 511–29. http://dx.doi.org/10.1142/s0218213010000303.

Full text
Abstract:
This paper presents an original dynamic subsumption technique for Boolean CNF formulae. It exploits simple and sufficient conditions to detect, during conflict analysis, clauses from the formula that can be reduced by subsumption. During the learnt clause derivation, and at each step of the associated resolution process, checks for backward subsumption between the current resolvent and clauses from the original formula are efficiently performed. The resulting method allows the dynamic removal of literals from the original clauses. Experimental results show that the integration of our dynamic s
APA, Harvard, Vancouver, ISO, and other styles
9

Longo Zocal, Raul. "Cláusula compromissória condicionada: estipulação e implementação." Revista Brasileira de Arbitragem 20, Issue 79 (2023): 7–25. http://dx.doi.org/10.54648/rba2023022.

Full text
Abstract:
The article describes whether the parties may or not agree on conditions for arbitration clauses. Although every arbitration clause is conditioned to the rise of a conflict (a future and uncertain event that gives effect to the arbitration clauses), the article focuses on conditions that the parties may consider relevant to their goals or concerns. The article discusses the interpretation of the conditioned arbitration clause to evaluate its legality and application in cases. The article also discusses the analysis of the implementation of the condition, which gives grounds for the arbitrator’
APA, Harvard, Vancouver, ISO, and other styles
10

Riddell, Troy Q., and F. L. Morton. "Reasonable Limitations, Distinct Society and the Canada Clause: Interpretive Clauses and the Competition for Constitutional Advantage." Canadian Journal of Political Science 31, no. 3 (1998): 467–93. http://dx.doi.org/10.1017/s0008423900009094.

Full text
Abstract:
AbstractThis article connects the conflict in Canada over formal constitutional amendments—patriation (1982), the Meech Lake (1987) and the Charlottetown (1992) Accords—with constitutional litigation and interpretation. The authors posit that governments and organized social interests compete with and among themselves for constitutional advantage in both forums of constitutional modification, and that outcomes in each forum have predictable consequences for behaviour in the other. Specifically, they argue that conflicts over the “distinct society” (1987) and “Canada” (1992) clauses are best un
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Conflict clauses"

1

Huang, Ze Yu. "Pathological arbitration clauses in international commercial arbitration :law and practice in China." Thesis, University of Macau, 2016. http://umaclib3.umac.mo/record=b3570897.

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

Vasalou, Evangelia. "Les conflits d’obligations internationales devant la Cour européenne des droits de l’homme." Electronic Thesis or Diss., Université Paris-Panthéon-Assas, 2024. http://www.theses.fr/2024ASSA0005.

Full text
Abstract:
Ayant comme axe principal la jurisprudence de la Cour EDH, la présente thèse est centrée sur les conflits entre la CEDH et les autres obligations internationales incombant aux États parties. L’approche de la Cour EDH témoigne de la nécessité de cohérence en droit et de l’harmonisation des conflits d’obligations. Visant à harmoniser les éventuelles contrariétés la Cour de Strasbourg ne s’est pas interrogée sur les causes de ces conflits. L’objet de cette thèse consiste ainsi à rechercher s’il y a des règles juridiques aptes à aménager les conflictualités en amont en générant pour les États l’ob
APA, Harvard, Vancouver, ISO, and other styles
3

Ward, Jeffrey Alan. "Answer set programming with clause learning." Connect to this title online, 2004. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1092840020.

Full text
Abstract:
Thesis (Ph. D.)--Ohio State University, 2004.<br>Title from first page of PDF file. Document formatted into pages; contains xv, 170 p. : ill. Advisors: Timothy J. Long and John S. Schlipf, Department of Computer Science and Engineering. Includes bibliographical references (p. 165-170).
APA, Harvard, Vancouver, ISO, and other styles
4

Huchet, Guillaume. "La clause de médiation." Lyon 3, 2007. https://scd-resnum.univ-lyon3.fr/out/theses/2007_out_huchet_g.pdf.

Full text
Abstract:
La clause de médiation est une stipulation qui a pour objet le règlement amiable des conflits apparaissant au cours de la vie d'un contrat. En ce sens, les parties contractantes s'obligent lors de la survenance d'un différend à mettre en oeuvre préalablement à toute action en justice, un processus de médiation, afin de trouver sous l'égide d'un médiateur une solution amiable. La clause de médiation est une stipulation originale, car elle a un objet duel à la fois contractuel et processuel. Elle comporte en effet un engagement de ne pas agir en justice et une obligation de négocier. Pour permet
APA, Harvard, Vancouver, ISO, and other styles
5

Huchet, Guillaume Ouerdane-Aubert de Vincelles Carole. "La clause de médiation." Lyon : Université Lyon 3, 2008. http://thesesbrain.univ-lyon3.fr/sdx/theses/lyon3/2007/huchet_g.

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

Stingl, Harald. "Forum selection in the conflict of laws /." Wien : Verlag Österreich, 2001. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=009337363&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.

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

Demtchinsky, Nicolas. "La clause de conciliation." Paris 13, 2008. http://www.theses.fr/2008PA131012.

Full text
Abstract:
Dans un contexte de développement des Modes Alternatifs de Règlement des Conflits, la conciliation a su s’imposer comme un système efficace de régulation juridique. La clause de conciliation permet aux parties d’anticiper le règlement des différends qui pourraient survenir, en les contraignant, préalablement à toute action en justice, à mettre en place un processus de conciliation afin de négocier les termes d’une solution amiable. Originale par sa forme, cette clause doit pouvoir être identifiée par sa singularité à l’égard des autres clauses de règlements amiables, permettant à ses éventuels
APA, Harvard, Vancouver, ISO, and other styles
8

Barnaud, Caroline. "L'efficacité des clauses relatives aux litiges : l'influence de l'arbitrage sur la médiation." Versailles-St Quentin en Yvelines, 2009. http://www.theses.fr/2009VERS032S.

Full text
Abstract:
La réponse du droit aux défis et aux enjeux des sociétés contemporaines, la « texture philosophique qui entoure le droit », cet art de dépasser les oppositions, de concilier les contraires sont une dialectique fondatrice des clauses relatives aux litiges en général et de l’arbitrage en particulier. Si l’arbitrage, de nos jours, n’a plus à affirmer sa légitimité, le chemin de la valorisation des clauses relatives aux litiges dans leur ensemble semble être encore parfois semé d’embûche en ce que celles-ci ont émergé relativement récemment dans les catégories juridiques traditionnelles et ont mul
APA, Harvard, Vancouver, ISO, and other styles
9

Posocco, Laurent. "La clause compromissoire : contribution à l'étude sur l'arbitrabilité des litiges." Toulouse 1, 2011. http://www.theses.fr/2011TOU10070.

Full text
Abstract:
Cette thèse apporte une contribution à la définition de l'objet de la clause compromissoire. Celui-ci appréhende l'ensemble du procès. Il embrasse la totalité de la résolution de l'antagonisme. De la description de l'objet, elle déduit un certain nombre de propriétés de la clause compromissoire qui motivent son cantonnement. Sont ainsi découverts les critères guidant la compromissibilité des hypothèses de litiges et qui relèvent soit de la préservation de l'accès au juge, soit de la disponibilité du pouvoir de sanctionner. En outre, la démonstration s'appuie sur une lecture nouvelle de l'artic
APA, Harvard, Vancouver, ISO, and other styles
10

Mansour, Mahran Riham. "Les clauses relatives aux litiges en droit français : aspects internes et internationaux." Paris 1, 2005. http://www.theses.fr/2005PA010256.

Full text
Abstract:
Les clauses relatives aux litiges sont très appréciées et plus utilisées dans le monde des affaires surtout dans les affaires internationales. Ce monde est marqué par certaines caractéristiques, comme la rapidité et la confidentialité, qui nécessitent un règlement de litige adapté. Or, les juridictions ordinaires donnent souvent des décisions inadaptées à ces relations d'affaires et ses décisions sont toujours imprévisibles. Pour ces raisons, les professionnels préfèrent écarter la solution judiciaire de leurs litiges ou, au moins, l'adapter à leurs besoins par l'insertion de ces clauses. Tout
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Conflict clauses"

1

Marcel, Fontaine. Drafting international contracts: Analysis of contract clauses. Transnational Publishers, 2006.

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

Marcel, Fontaine. Droit des contrats internationaux: Analyse et redaction de clauses. 2nd ed. Forum Européen de la Communication, 2003.

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

Filip, De Ly, ed. Drafting international contracts: An analysis of contract clauses. Martinus Nijhoff Pub., 2009.

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

Fontaine, Marcel. Drafting international contracts: An analysis of contract clauses. Martinus Nijhoff Pub., 2009.

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

International Congress of Comparative Law (14th 1994 Athens, Greece). Les clauses d'exception en matière de conflits de lois et de conflits de juridictions, ou, le principe de proximité: XIVe congrès international de droit comparé = Exception clauses in conflicts of laws and conflicts of jurisdictions, or, the principle of proximity : XIVth International Congress of Comparative Law. M. Nijhoff Publishers, 1994.

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

Werlauff, Erik. International contracts: The UNIDROIT principles as an alternative to clauses on governing law. Ex Tuto Publishing, 2013.

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

Lupoi, Michele Angelo. Conflitti transnazionali di giurisdizioni. A. Giuffrè, 2002.

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

Office, General Accounting. International trade: Critical issues remain in deterring conflict diamond trade : report to congressional requesters. GAO, 2002.

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

Brigitte, Stern, and World Trade Organization, eds. La jurisprudence de l'OMC: The Case-law of the WTO 1999-1. Martinus Nijhoff Publishers, 2007.

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

Fontaine, Marcel, and Filip De Ly. Drafting International Contracts: An Analysis of Contract Clauses. Ebsco Publishing, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Conflict clauses"

1

Reeves, Joseph E., Marijn J. H. Heule, and Randal E. Bryant. "Preprocessing of Propagation Redundant Clauses." In Automated Reasoning. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_8.

Full text
Abstract:
AbstractThe propagation redundant (PR) proof system generalizes the resolution and resolution asymmetric tautology proof systems used by conflict-driven clause learning (CDCL) solvers. PR allows short proofs of unsatisfiability for some problems that are difficult for CDCL solvers. Previous attempts to automate PR clause learning used hand-crafted heuristics that work well on some highly-structured problems. For example, the solver SaDiCaL incorporates PR clause learning into the CDCL loop, but it cannot compete with modern CDCL solvers due to its fragile heuristics. We present PReLearn, a pre
APA, Harvard, Vancouver, ISO, and other styles
2

Leidinger, Hendrik, and Christoph Weidenbach. "SCL(EQ): SCL for First-Order Logic with Equality." In Automated Reasoning. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_14.

Full text
Abstract:
AbstractWe propose a new calculus SCL(EQ) for first-order logic with equality that only learns non-redundant clauses. Following the idea of CDCL (Conflict Driven Clause Learning) and SCL (Clause Learning from Simple Models) a ground literal model assumption is used to guide inferences that are then guaranteed to be non-redundant. Redundancy is defined with respect to a dynamically changing ordering derived from the ground literal model assumption. We prove SCL(EQ) sound and complete and provide examples where our calculus improves on superposition.
APA, Harvard, Vancouver, ISO, and other styles
3

Haifani, Fajar, and Christoph Weidenbach. "Semantic Relevance." In Automated Reasoning. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_13.

Full text
Abstract:
AbstractA clause C is syntactically relevant in some clause set N, if it occurs in every refutation of N. A clause C is syntactically semi-relevant, if it occurs in some refutation of N. While syntactic relevance coincides with satisfiability (if C is syntactically relevant then $$N\setminus \{C\}$$ N \ { C } is satisfiable), the semantic counterpart for syntactic semi-relevance was not known so far. Using the new notion of a conflict literal we show that for independent clause sets N a clause C is syntactically semi-relevant in the clause set N if and only if it adds to the number of conflict
APA, Harvard, Vancouver, ISO, and other styles
4

Rutgers, Jacobien W. "The Influence of European Law on the Conflict Rules Governing a Reservation of Title Clause." In International Reservation of Title Clauses. T.M.C. Asser Press, 1999. http://dx.doi.org/10.1007/978-90-6704-457-8_4.

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

Kullmann, Oliver, and Ankit Shukla. "Transforming Quantified Boolean Formulas Using Biclique Covers." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30820-8_23.

Full text
Abstract:
AbstractWe introduce the global conflict graph of DQCNFs (dependency quantified conjunctive normal forms), recording clashes between clauses on such universal variables on which all existential variables depend (called “global variables”). The biclique covers of this graph correspond to the eligible clause-slices of the DQCNF which consider only the global variables. We show that all such slices yield satisfiability-equivalent variations. This opens the possibility to realise this slice using as few global variables as possible. We give basic theoretical results and first supporting experiment
APA, Harvard, Vancouver, ISO, and other styles
6

Bryant, Randal E., and Marijn J. H. Heule. "Dual Proof Generation for Quantified Boolean Formulas with a BDD-based Solver." In Automated Deduction – CADE 28. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-79876-5_25.

Full text
Abstract:
AbstractExisting proof-generating quantified Boolean formula (QBF) solvers must construct a different type of proof depending on whether the formula is false (refutation) or true (satisfaction). We show that a QBF solver based on ordered binary decision diagrams (BDDs) can emit a single dual proof as it operates, supporting either outcome. This form consists of a sequence of equivalence-preserving clause addition and deletion steps in an extended resolution framework. For a false formula, the proof terminates with the empty clause, indicating conflict. For a true one, it terminates with all cl
APA, Harvard, Vancouver, ISO, and other styles
7

Spears, Suzanne, and Maria Fogdestam Agius. "Protection of Investments in War-Torn States: A Practitioner’s Perspective on War Clauses in Bilateral Investment Treaties." In International Investment Law and the Law of Armed Conflict. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-10746-8_14.

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

Palmiano Federer, Julia. "Conclusion: Should NGO Mediators Promote Norms?" In Twenty-first Century Perspectives on War, Peace, and Human Conflict. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-42174-7_8.

Full text
Abstract:
AbstractThis concluding chapter synthesizes the main findings of the book and suggests some probing questions for future research agendas and larger soul-searching questions for both scholars and practitioners of peace mediation. While the book illustrates how NGO mediators do possess the agency to act as norm entrepreneurs of inclusion in mediation processes, given the unintended negative outcomes of the localization of inclusivity, it suggests that the assumption that mediators should promote liberal (and Western-centric) norms at all should be re-examined in a critical light. Yet the growth
APA, Harvard, Vancouver, ISO, and other styles
9

Echandi, Roberto. "Investor-State Conflict Management Mechanisms (CMMs) in International Investment Law: A Preliminary Sketch of Model Treaty Clauses." In Handbook of International Investment Law and Policy. Springer Singapore, 2021. http://dx.doi.org/10.1007/978-981-13-5744-2_51-1.

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

Echandi, Roberto. "Investor-State Conflict Management Mechanisms (CMMs) in International Investment Law: A Preliminary Sketch of Model Treaty Clauses." In Handbook of International Investment Law and Policy. Springer Singapore, 2021. http://dx.doi.org/10.1007/978-981-13-3615-7_51.

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

Conference papers on the topic "Conflict clauses"

1

Osama, Muhammad, and Anton Wijs. "Multiple Decision Making in Conflict-Driven Clause Learning." In 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI). IEEE, 2020. http://dx.doi.org/10.1109/ictai50040.2020.00035.

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

Zheng, Jiongzhi, Zhuo Chen, Chu-Min Li, and Kun He. "Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers." In Thirty-Third International Joint Conference on Artificial Intelligence {IJCAI-24}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/ijcai.2024/220.

Full text
Abstract:
MaxSAT is an optimization version of the famous NP-complete Satisfiability problem (SAT). Algorithms for MaxSAT mainly include complete solvers and local search incomplete solvers. In many complete solvers, once a better solution is found, a Soft conflict Pseudo Boolean (SPB) constraint will be generated to enforce the algorithm to find better solutions. In many local search algorithms, clause weighting is a key technique for effectively guiding the search directions. In this paper, we propose to transfer the SPB constraint into the clause weighting system of the local search method, leading t
APA, Harvard, Vancouver, ISO, and other styles
3

Hebrard, Emmanuel, and George Katsirelos. "Conflict Directed Clause Learning for Maximum Weighted Clique Problem." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/183.

Full text
Abstract:
The maximum clique and minimum vertex cover problems are among Karp's 21 NP-complete problems, and have numerous applications: in combinatorial auctions, for computing phylogenetic trees, to predict the structure of proteins, to analyse social networks, and so forth. Currently, the best complete methods are branch &amp; bound algorithms and rely largely on graph colouring to compute a bound. We introduce a new approach based on SAT and on the "Conflict-Driven Clause Learning" (CDCL) algorithm. We propose an efficient implementation of Babel's bound and pruning rule, as well as a novel dominanc
APA, Harvard, Vancouver, ISO, and other styles
4

Majalawa, Vie’an Huzair, Putranto Hadi Utomo, Tri Atmojo Kusmayadi, and Diari Indriati. "Conflict driven clause learning approach for satisfiability modulo theory." In THE THIRD INTERNATIONAL CONFERENCE ON MATHEMATICS: Education, Theory and Application. AIP Publishing, 2021. http://dx.doi.org/10.1063/5.0039296.

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

PRAPORȘCIC, VALERIA. "CONTRACTS AND THEIR ADAPTATION TO EXTERNAL CHANGES: FROM HARDSHIP CLAUSES TO JUSTIFYING IMPEDIMENTS." In COMPETITIVENESS AND INNOVATION IN THE KNOWLEDGE ECONOMY. Editura ASE, 2025. https://doi.org/10.24818/cike2024.03.

Full text
Abstract:
In the context of increasing global uncertainties, such as economic crises, pandemics, and regulatory changes, contract adaptation mechanisms have become essential tools for maintaining stability in commercial relationships. This study examines the role and effectiveness of specific contractual clauses, namely hardship clauses and justifying impediments (such as force majeure), in enabling parties to adjust their obligations and mitigate risks arising from unforeseen external changes. The research aims to provide a comprehensive analysis of the theoretical foundations, legal frameworks, and pr
APA, Harvard, Vancouver, ISO, and other styles
6

Gocht, Stephan, Ruben Martins, Jakob Nordström, and Andy Oertel. "Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract)." 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/716.

Full text
Abstract:
The dramatic improvements in Boolean satisfiability (SAT) solving since the turn of the millennium have made it possible to leverage conflict-driven clause learning (CDCL) solvers for many combinatorial problems in academia and industry, and the use of proof logging has played a crucial role in increasing the confidence that the results these solvers produce are correct. However, the fact that SAT proof logging is performed in conjunctive normal form (CNF) clausal format means that it has not been possible to extend guarantees of correctness to the use of SAT solvers for more expressive combin
APA, Harvard, Vancouver, ISO, and other styles
7

Đorđević, Slavko. "Merodavno pravo za ugovor o distribuciji u međunarodnom privatnom pravu Srbije." In XVI Majsko savetovanje. University of Kragujevac, Faculty of Law, 2020. http://dx.doi.org/10.46793/upk20.075dj.

Full text
Abstract:
In this paper author analyses the conflict-of-law regime for cross-border distribution contracts in Serbian private international law. The study begins with the characterisation of distribution contract and its delimitation form other similar contracts in Serbian legal system, such as a sale contract, franchising contract and agency contract. It continues with the analysis of conflict-of-law rules of Serbian PIL Act which have to be applied to distribution contract, where the attention is given to the choice of law rule of Art. 19 of Serbian PIL Act and to the hard conflict-of law rule for inn
APA, Harvard, Vancouver, ISO, and other styles
8

Le Berre, Daniel, Pierre Marquis, Stefan Mengel, and Romain Wallon. "On Irrelevant Literals in Pseudo-Boolean Constraint Learning." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/160.

Full text
Abstract:
Learning pseudo-Boolean (PB) constraints in PB solvers exploiting cutting planes based inference is not as well understood as clause learning in conflict-driven clause learning solvers. In this paper, we show that PB constraints derived using cutting planes may contain irrelevant literals, i.e., literals whose assigned values (whatever they are) never change the truth value of the constraint. Such literals may lead to infer constraints that are weaker than they should be, impacting the size of the proof built by the solver, and thus also affecting its performance. This suggests that current im
APA, Harvard, Vancouver, ISO, and other styles
9

Đorđević, Slavko. "ODREĐIVANjE MERODAVNOG PRAVA ZA UGOVOR O FRANŠIZINGU – NEKOLIKO NAPOMENA IZ UGLA MEĐUNARODNOG PRIVATNOG PRAVA SRBIJE." In XVIII Majsko savetovanje. University of Kragujevac, Faculty of Law, 2022. http://dx.doi.org/10.46793/xviiimajsko.113dj.

Full text
Abstract:
In this paper author analyses the conflict-of-law regime for cross-border franchise contracts in Serbian private international law. The study begins with the characterisation of franchise contract and its delimitation form other similar contracts in Serbian legal system, such as a distribution contract and licence contract. It continues with the analysis of conflict-of-law rules of Serbian PIL Act which have to be applied to franchise contract, where the attention is given to the choice of law rule of Art. 19 of Serbian PIL Act and to the hard conflict-of law rule for innominate contracts cont
APA, Harvard, Vancouver, ISO, and other styles
10

Böhm, Benjamin, Tomáš Peitl, and Olaf Beyersdorff. "QCDCL with Cube Learning or Pure Literal Elimination - What is Best?" In Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}. International Joint Conferences on Artificial Intelligence Organization, 2022. http://dx.doi.org/10.24963/ijcai.2022/248.

Full text
Abstract:
Quantified conflict-driven clause learning (QCDCL) is one of the main approaches for solving quantified Boolean formulas (QBF). We formalise and investigate several versions of QCDCL that include cube learning and/or pure-literal elimination, and formally compare the resulting solving models via proof complexity techniques. Our results show that almost all of the QCDCL models are exponentially incomparable with respect to proof size (and hence solver running time), pointing towards different orthogonal ways how to practically implement QCDCL.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Conflict clauses' for particular source types:
Journal articles Dissertations / Theses Books
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