The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for disjunctions with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1970-1989 (19) 1991-1993 (16) 1994-1996 (20) 1997-1998 (16) 1999-2000 (17) 2001-2002 (30) 2003-2004 (31) 2005 (19) 2006 (19) 2007 (26) 2008 (25) 2009 (17) 2010-2011 (15) 2012-2014 (21) 2015-2017 (21) 2018-2019 (17) 2020-2022 (18) 2023-2024 (11)
Publication types (Num. hits)
article(115) incollection(2) inproceedings(240) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(13) Math. Program.(11) CP(7) ILP(7) COLT(6) IACR Cryptol. ePrint Arch.(6) ICLP(6) IPCO(6) PODS(6) Artif. Intell.(5) CADE(5) CogSci(5) LPAR(5) CSL(4) FoIKS(4) ICDT(4) More (+10 of total 208)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 179 occurrences of 148 keywords

Results
Found 358 publication records. Showing 358 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
61Zhixiang Chen 0001, Steven Homer On Learning Counting Functions with Queries. Search on Bibsonomy COLT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
61Xian-He Sun, Nabil Kamel, Lionel M. Ni Solving Implication Problems in Database Applications. Search on Bibsonomy SIGMOD Conference The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
60Fabrizio Riguzzi ALLPAD: approximate learning of logic programs with annotated disjunctions. Search on Bibsonomy Mach. Learn. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Logic programs with annotated disjunctions, Inductive logic programming, Statistical relational learning, Probabilistic logic programming
60Fabrizio Riguzzi Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Topics Probabilistic Logic Programming, Logic Programs with Annotated Disjunctions, Well Founded Semantics, SLG resolution
57David P. Helmbold, Sandra Panizza, Manfred K. Warmuth Direct and Indirect Algorithms for On-line Learning of Disjunctions. Search on Bibsonomy EuroCOLT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49Pier Luca Lanzi An analysis of generalization in XCS with symbolic conditions. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
45Yaron Kanza, Yehoshua Sagiv Computing full disjunctions. Search on Bibsonomy PODS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
45Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino Disjunctions of Horn Theories and Their Cores. Search on Bibsonomy ISAAC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
40Thomas Douillard, Christophe Jermann Splitting heuristics for disjunctive numerical constraints. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF splitting heuristics, numerical constraints, disjunctions
36Manuel Bodirsky, Jens K. Müller The complexity of rooted phylogeny problems. Search on Bibsonomy ICDT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF ?-categorical structures, computational complexity, Datalog, constraint satisfaction problems, phylogenetic reconstruction
36Armin Wolf, Jacques Robin, Jairson Vitorino Adaptive CHR Meets CHRv: An Extended Refined Operational Semantics for CHRv Based on Justifications. Search on Bibsonomy Constraint Handling Rules The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Matthias Baaz Proof Analysis by Resolution. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Jonathan Katz, Amit Sahai, Brent Waters Predicate Encryption Supporting Disjunctions, Polynomial Equations, and Inner Products. Search on Bibsonomy EUROCRYPT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Martin Ralbovský, Tomás Kuchar Using Disjunctions in Association Mining. Search on Bibsonomy ICDM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF GUHA Method, Ferda, Association Mining, Disjunction
33Adam R. Klivans, Alexander A. Sherstov A Lower Bound for Agnostically Learning Disjunctions. Search on Bibsonomy COLT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You Unfolding partiality and disjunctions in stable model semantics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF disjunctive stable models, partial models, Answer set programming, inference engine, quantified Boolean formulas, minimal models
33Fabrizio Riguzzi ALLPAD: Approximate Learning of Logic Programs with Annotated Disjunctions. Search on Bibsonomy ILP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe Logic Programs with Annotated Disjunctions. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Fabrizio Riguzzi Learning Logic Programs with Annotated Disjunctions. Search on Bibsonomy ILP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Peter Auer, Manfred K. Warmuth Tracking the Best Disjunction. Search on Bibsonomy FOCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF best disjunction tracking, deterministic on-line learning algorithm, k-literal disjunctions, worst-case mistake bounds, learning (artificial intelligence), upper bounds, computational linguistics, randomised algorithms, amortized analysis, Winnow
27David P. Helmbold, Nick Littlestone, Philip M. Long Apple Tasting and Nearly One-Sided Learning Search on Bibsonomy FOCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF boolean variables, nearly one-sided learning, apple tasting model, false acceptances, false rejections, learning algorithm, conjunctions, disjunctions
27Uwe Petermann An Extended Herbrand Theorem for First-Order Theories with Equality Interpreted in Partial Algebras. Search on Bibsonomy MFCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Herbrand Disjunctions, Built in Theories, Theorem Proving, Partial Algebras, Connection Method
24Annamaria Bria, Wolfgang Faber 0001, Nicola Leone nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier A Schemata Calculus for Propositional Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Anureet Saxena, Pierre Bonami, Jon Lee 0001 Disjunctive Cuts for Non-convex Mixed Integer Quadratically Constrained Programs. Search on Bibsonomy IPCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Navin Viswanath, Rajshekhar Sunderraman Degrees of Exclusivity in Disjunctive Databases. Search on Bibsonomy ISMIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Lengning Liu, Miroslaw Truszczynski Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Pseudo-Boolean constraints, Boolean satisfiability, Stochastic local search
24Carlo Meghini, Nicolas Spyratos Computing Intensions of Digital Library Collections. Search on Bibsonomy ICFCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Walid Bagga, Refik Molva, Stefano Crosta Policy-based encryption schemes from bilinear pairings. Search on Bibsonomy AsiaCCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Lizhuang Zhao, Mohammed J. Zaki, Naren Ramakrishnan BLOSOM: a framework for mining arbitrary boolean expressions. Search on Bibsonomy KDD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF data mining, boolean expression, closed itemsets, minimal generator
24Felix Brandt 0001 Efficient Cryptographic Protocol Design Based on Distributed El Gamal Encryption. Search on Bibsonomy ICISC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Maria Aloni Expressing Ignorance or Indifference. Search on Bibsonomy TbiLLC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF free choice indefinites, bi-directional optimality theory, disjunction, implicatures
24Sergey Brin, Rajeev Rastogi, Kyuseok Shim Mining Optimized Gain Rules for Numeric Attributes. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF region bucketing, dynamic programming, Association rules, support, confidence, binary space partitioning, gain
24Olivier Lhomme An Efficient Filtering Algorithm for Disjunction of Constraints. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Rajeev Rastogi, Kyuseok Shim Mining Optimized Association Rules with Categorical and Numeric Attributes. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF optimized association rules, data mining, algorithm, knowledge discovery
24Miguel A. Salido, Federico Barber Disjunction of Non-binary and Numeric Constraint Satisfaction Problems. Search on Bibsonomy CCIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF non-binary constraints, Disjunctive constraints, CSPs
24Beitao Li, Edward Y. Chang, Chung-Sheng Li Learning Image Query Concepts via Intelligent Sampling. Search on Bibsonomy ICME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Kim Marriott, Peter Moulder, Peter J. Stuckey, Alan Borning Solving Disjunctive Constraints for Interactive Graphical Applications. Search on Bibsonomy CP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Matthias Baaz, Georg Moser On a Generalisation of Herbrand's Theorem. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Phokion G. Kolaitis, Moshe Y. Vardi Infinitary Logic for Computer Science. Search on Bibsonomy ICALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
24François Bry Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited. Search on Bibsonomy SIGMOD Conference The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
24Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing Existential Quantifiers in Abstract Data Types. Search on Bibsonomy ICALP The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
21Markus Hecher, Rafael Kiesel Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Yunwei Qi, Suvrajeet Sen Correction to: The ancestral Benders' cutting-plane algorithm with multi-term disjunctions for mixed-integer recourse decisions in stochastic programming. Search on Bibsonomy Math. Program. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Max Gläser, Marc E. Pfetsch Sub-Exponential Lower Bounds for Branch-and-Bound with General Disjunctions via Interpolation. Search on Bibsonomy SODA The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Markus Hecher, Rafael Kiesel On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? Search on Bibsonomy AAAI The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Benjamin Doerr, Andrei Lissovoi, Pietro S. Oliveto (1+1) genetic programming with functionally complete instruction sets can evolve Boolean conjunctions and disjunctions with arbitrarily small error. Search on Bibsonomy Artif. Intell. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Benjamin Doerr, Andrei Lissovoi, Pietro S. Oliveto (1+1) Genetic Programming With Functionally Complete Instruction Sets Can Evolve Boolean Conjunctions and Disjunctions with Arbitrarily Small Error. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Dimitris Bertsimas, Ryan Cory-Wright, Sean Lo, Jean Pauphilet Optimal Low-Rank Matrix Completion: Semidefinite Relaxations and Eigenvector Disjunctions. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Maria Charitidou, Dimos V. Dimarogonas Control Barrier Functions for Disjunctions of Signal Temporal Logic Tasks. Search on Bibsonomy ECC The full citation details ... 2023 DBLP  BibTeX  RDF
21Kilian Rückschloß, Felix Weitkämper On the Subtlety of Causal Reasoning in Probabilistic Logic Programming: A Bug Report about the Causal Interpretation of Annotated Disjunctions. Search on Bibsonomy ICLP Workshops The full citation details ... 2023 DBLP  BibTeX  RDF
21Adina Camelia Bleotu, Rodica Ivan, Andreea C. Nicolae, Gabriela Bîlbîie, Anton Benz, Mara Panaitescu, Lyn Tieu Not all complex disjunctions are alike: On inclusive and conjunctive interpretations in child Romanian. Search on Bibsonomy CogSci The full citation details ... 2023 DBLP  BibTeX  RDF
21Aarushi Goel, Mathias Hall-Andersen, Gabriel Kaptchuk, Nicholas Spooner Speed-Stacking: Fast Sublinear Zero-Knowledge Proofs for Disjunctions. Search on Bibsonomy EUROCRYPT (2) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Andrei Sipos On Extracting Variable Herbrand Disjunctions. Search on Bibsonomy Stud Logica The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Adrian Wiltz, Dimos V. Dimarogonas Handling Disjunctions in Signal Temporal Logic Based Control Through Nonsmooth Barrier Functions. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Eli Towle, James R. Luedtke Intersection Disjunctions for Reverse Convex Sets. Search on Bibsonomy Math. Oper. Res. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Aarushi Goel, Mathias Hall-Andersen, Gabriel Kaptchuk, Nicholas Spooner Speed-Stacking: Fast Sublinear Zero-Knowledge Proofs for Disjunctions. Search on Bibsonomy IACR Cryptol. ePrint Arch. The full citation details ... 2022 DBLP  BibTeX  RDF
21Adrian Wiltz, Dimos V. Dimarogonas Handling Disjunctions in Signal Temporal Logic Based Control Through Nonsmooth Barrier Functions. Search on Bibsonomy CDC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Lizhu Zhang, Gang Li 0037 Some Results on the Dominance Relation Between Conjunctions and Disjunctions. Search on Bibsonomy ICIC (3) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Wen-Chi Yang, Arcchit Jain, Luc De Raedt, Wannes Meert Parameter Learning in ProbLog with Annotated Disjunctions. Search on Bibsonomy IDA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Aarushi Goel, Matthew Green 0001, Mathias Hall-Andersen, Gabriel Kaptchuk Stacking Sigmas: A Framework to Compose $\varSigma $-Protocols for Disjunctions. Search on Bibsonomy EUROCRYPT (2) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Roman Kossak, Bartosz Wcislo Disjunctions with Stopping conditions. Search on Bibsonomy Bull. Symb. Log. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Tobias Winkler, Maximilian Weininger Stochastic Games with Disjunctions of Multiple Objectives (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
21Tobias Winkler, Maximilian Weininger Stochastic Games with Disjunctions of Multiple Objectives. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Pengfei Yin, Jinrui Sun, Moyun Wang The relative difficulty of negations of conjunctions and disjunctions - a mental model perspective. Search on Bibsonomy Cogn. Process. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Aarushi Goel, Matthew Green 0001, Mathias Hall-Andersen, Gabriel Kaptchuk Stacking Sigmas: A Framework to Compose Σ-Protocols for Disjunctions. Search on Bibsonomy IACR Cryptol. ePrint Arch. The full citation details ... 2021 DBLP  BibTeX  RDF
21Carsten Baum, Alex J. Malozemoff, Marc B. Rosen, Peter Scholl Mac'n'Cheese: Zero-Knowledge Proofs for Boolean and Arithmetic Circuits with Nested Disjunctions. Search on Bibsonomy CRYPTO (4) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Ricardo Fukasawa, Laurent Poirrier, Shenghao Yang 0002 Split cuts from sparse disjunctions. Search on Bibsonomy Math. Program. Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Sam Sanders Splittings and Disjunctions in Reverse Mathematics. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Albert Kim, Atalay Mert Ileri, Sam Madden Optimizing Query Predicates with Disjunctions for Column Stores. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
21Carsten Baum, Alex J. Malozemoff, Marc B. Rosen, Peter Scholl Mac'n'Cheese: Zero-Knowledge Proofs for Arithmetic Circuits with Nested Disjunctions. Search on Bibsonomy IACR Cryptol. ePrint Arch. The full citation details ... 2020 DBLP  BibTeX  RDF
21Matteo Paganelli, Domenico Beneventano, Francesco Guerra 0001, Paolo Sottovia Parallelizing Computations of Full Disjunctions. Search on Bibsonomy Big Data Res. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Chi-Chuan Chen, Yu-Shiang Su, Yu-Zhen Tu, Joshua Oon Soo Goh Default-mode network activation underlies accurate contextual processing of exclusive disjunctions in older but not younger adults. Search on Bibsonomy NeuroImage The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Nikhil Bhargava, Brian C. Williams Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Ana Cristina Quelhas, Célia Rasga, Philip N. Johnson-Laird The Analytic Truth and Falsity of Disjunctions. Search on Bibsonomy Cogn. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Mike Behrisch, Edith Vargas-García, Dmitriy Zhuk The Number of Clones Determined by Disjunctions of Unary Relations. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Nikhil Bhargava, Brian C. Williams Complexity Bounds for the Controllability of Temporal Networks with Conditions, Disjunctions, and Uncertainty. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
21Benjamin Doerr, Andrei Lissovoi, Pietro S. Oliveto Evolving Boolean Functions with Conjunctions and Disjunctions via Genetic Programming. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
21Amitabh Basu, R. Kipp Martin, Christopher Thomas Ryan, Guanyi Wang Mixed-Integer Linear Representability, Disjunctions, and Chvátal Functions - Modeling Implications. Search on Bibsonomy Math. Oper. Res. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Mathias Sablé-Meyer, Salvador Mascarenhas Assessing the role of matching bias in reasoning with disjunctions. Search on Bibsonomy CogSci The full citation details ... 2019 DBLP  BibTeX  RDF
21Benjamin Doerr, Andrei Lissovoi, Pietro S. Oliveto Evolving boolean functions with conjunctions and disjunctions via genetic programming. Search on Bibsonomy GECCO The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Manuel Atencia, Jérôme David, Jérôme Euzenat Several Link Keys are Better than One, or Extracting Disjunctions of Link Key Candidates. Search on Bibsonomy K-CAP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Ning Ding 0001 On Exactly Learning Disjunctions and DNFs Without Equivalence Queries. Search on Bibsonomy COCOON The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Nikhil Bhargava, Brian C. Williams Complexity Bounds for the Controllability of Temporal Networks with Conditions, Disjunctions, and Uncertainty (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Mohammad Shahabsafa, Julio Cesar Goez, Tamás Terlaky On pathological disjunctions and redundant disjunctive conic cuts. Search on Bibsonomy Oper. Res. Lett. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancik, Ian Horrocks 0001 Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Maicon Douglas Santos Matos, Laurence Rodrigues do Amaral Multiple Disjunctions Rule Genetic Algorithm (MDRGA): Inferring Non-Linear IF-THEN Rules in Non-Linear Datasets. Search on Bibsonomy CEC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Huisong Li Shape Abstractions with Support for Sharing and Disjunctions. (Abstractions de la Forme des Structures de Données Supportant Partage et Disjonctions). Search on Bibsonomy 2018   RDF
21Lyn Tieu, Kazuko Yatsushiro, Alexandre Cremers, Jacopo Romoli, Uli Sauerland, Emmanuel Chemla On the Role of Alternatives in the Acquisition of Simple and Complex Disjunctions in French and Japanese. Search on Bibsonomy J. Semant. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Davide Rinaldi, Peter Schuster 0001, Daniel Misselbeck-Wessel Eliminating Disjunctions by Disjunction Elimination. Search on Bibsonomy Bull. Symb. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Tobias Fischer 0002, Marc E. Pfetsch Monoidal cut strengthening and generalized mixed-integer rounding for disjunctions and complementarity constraints. Search on Bibsonomy Oper. Res. Lett. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav Learning Disjunctions of Predicates. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
21Yunwei Qi, Suvrajeet Sen The Ancestral Benders' cutting plane algorithm with multi-term disjunctions for mixed-integer recourse decisions in stochastic programming. Search on Bibsonomy Math. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Amitabh Basu, R. Kipp Martin, Christopher Thomas Ryan, Guanyi Wang Mixed-Integer Linear Representability, Disjunctions, and Variable Elimination. Search on Bibsonomy IPCO The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Pierre Bonami, Andrea Lodi 0001, Andrea Tramontani, Sven Wiese Cutting Planes from Wide Split Disjunctions. Search on Bibsonomy IPCO The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav Learning Disjunctions of Predicates. Search on Bibsonomy COLT The full citation details ... 2017 DBLP  BibTeX  RDF
21David Carral, Irina Dragoste, Markus Krötzsch Restricted Chase (Non)Termination for Existential Rules with Disjunctions. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Kevin McAreavey, Kim Bauters, Weiru Liu, Jun Hong 0001 The Event Calculus in Probabilistic Logic Programming with Annotated Disjunctions. Search on Bibsonomy AAMAS The full citation details ... 2017 DBLP  BibTeX  RDF
21Roberto Asín, Marc Bezem, Robert Nieuwenhuis Improving IntSat by expressing disjunctions of bounds as linear constraints. Search on Bibsonomy AI Commun. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Urszula Bentkowska, Anna Król Preservation of fuzzy relation properties based on fuzzy conjunctions and disjunctions during aggregation process. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 358 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license