Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
104 | Thomas Eiter, Kazuhisa Makino |
Abduction and the Dualization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 6th International Conference, DS 2003, Sapporo, Japan, October 17-19,2003, Proceedings, pp. 1-20, 2003, Springer, 3-540-20293-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
monotone dualization, Horn functions, polynomial total-time computation, NP-hardness, Abduction, model-based reasoning, hypergraph transversals |
86 | Khaled M. Elbassioni |
On Dualization in Products of Forests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings, pp. 142-153, 2002, Springer, 3-540-43283-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Data mining, poset, incremental algorithms, forest, dualization |
80 | Ken Satoh, Takeaki Uno |
Enumerating Maximal Frequent Sets Using Irredundant Dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 6th International Conference, DS 2003, Sapporo, Japan, October 17-19,2003, Proceedings, pp. 256-268, 2003, Springer, 3-540-20293-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
55 | Brian Day, Paddy McCrudden, Ross Street |
Dualizations and Antipodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 11(3), pp. 229-260, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
monoidal bicategory, enriched category, bidual, antipode, quantum group, quasi-Hopf algebra, comodule, braided group |
55 | Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich, Leonid Khachiyan, Kazuhisa Makino |
On Generating All Minimal Integer Solutions for a Monotone System of Linear Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 92-103, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
49 | Thomas Eiter, Georg Gottlob, Kazuhisa Makino |
New results on monotone dualization and generating hypergraph transversals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings on 34th Annual ACM Symposium on Theory of Computing, May 19-21, 2002, Montréal, Québec, Canada, pp. 14-22, 2002, ACM, 1-58113-495-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
combinatorial enumeration, hypergraph acyclicity, limited nondeterminism, output-polynomial algorithms, transversal computation, treewidth, dualization |
49 | Yoshitaka Yamamoto, Koji Iwanuma, Katsumi Inoue |
Non-monotone Dualization via Monotone Dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP (Late Breaking Papers) ![In: Late Breaking Papers of the 22nd International Conference on Inductive Logic Programming, Dubrovnik, Croatia, September 17-19, 2012, pp. 74-79, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
43 | Anton Bogdanovych, Sara Drago |
Euclidean representation of 3D electronic institutions: automatic generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced visual interfaces, AVI 2006, Venezia, Italy, May 23-26, 2006, pp. 449-452, 2006, ACM Press, 1-59593-353-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
3D electronic institutions, rectangular dualization |
43 | Endre Boros, Vladimir Gurvich, Leonid Khachiyan, Kazuhisa Makino |
On the Complexity of Generating Maximal Frequent and Minimal Infrequent Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings, pp. 133-141, 2002, Springer, 3-540-43283-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
infrequent sets, Data mining, independent sets, hitting sets, transversals, frequent sets, dualization |
43 | Parthasarathi Dasgupta, Susmita Sur-Kolay |
Slicible rectangular graphs and their optimal floorplans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 6(4), pp. 447-470, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
graph dualization, nonslicible floorplans, slicible floorplans, heuristic search, planar graphs, Floorplanning |
43 | P. S. Dasgupta, Susmita Sur-Kolay, Bhargab B. Bhattacharya |
VLSI floorplan generation and area optimization using AND-OR graph search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India, pp. 370-375, 1995, IEEE Computer Society, 0-8186-6905-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
VLSI floorplan generation, AND-OR graph search, rectangular dualization, minimum-area floorplan, optimal sizing, heuristic search method, top-down first phase, search effort, bottom-up polynomial-time algorithm, nonslicible floorplans, VLSI, graph theory, circuit layout CAD, circuit optimisation, integrated circuit interconnections, aspect ratios, area optimization, adjacency graph |
43 | Endre Boros, Khaled M. Elbassioni, Kazuhisa Makino |
On Berge Multiplication for Monotone Boolean Dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (1) ![In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games, pp. 48-59, 2008, Springer, 978-3-540-70574-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
43 | Khaled M. Elbassioni |
On the Complexity of the Multiplication Method for Monotone CNF/DNF Dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2006, 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings, pp. 340-351, 2006, Springer, 3-540-38875-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Massimo Ancona, Walter Cazzola, Sara Drago, Gianluca Quercini |
Visualizing and Managing Network Topologies via Rectangular Dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC 2006), 26-29 June 2006, Cagliari, Sardinia, Italy, pp. 1000-1005, 2006, IEEE Computer Society, 0-7695-2588-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Ken Satoh, Takeaki Uno |
Enumerating Minimally Revised Specifications Using Dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI Workshops ![In: New Frontiers in Artificial Intelligence, Joint JSAI 2005 Workshop Post-Proceedings, pp. 182-189, 2005, Springer, 3-540-35470-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Yen-Tai Lai, Sany M. Leinwand |
Algorithms for floorplan design via rectangular dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7(12), pp. 1278-1289, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
37 | Irene A. Sharaya |
On Maximal Inner Estimation of the Solution Sets of Linear Systems with Interval Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 7(5), pp. 409-424, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
37 | Richard I. Hartley, Gilles Debunne |
Dualizing Scene Reconstruction Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMILE ![In: 3D Structure from Multiple Images of Large-Scale Environments, European Workshop, SMILE'98, Freiburg, Germany, June 6-7, 1998, pp. 14-31, 1998, Springer, 3-540-65310-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Thomas Eiter, Kazuhisa Makino |
On computing all abductive explanations from a propositional Horn theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(5), pp. 24, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Horn theories, dualization problem, polynomial total-time computation, NP-hardness, Abduction, model-based reasoning, propositional logic, tractability, prime implicates, characteristic set, enumeration algorithms |
24 | Gabriele Steidl, Stephan Didas, Julia Neumann |
Splines in Higher Order TV Regularization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 70(3), pp. 241-255, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
higher order TV regularization, Legendre-Fenchel dualization taut-string algorithm, support vector regression, splines |
24 | Stephen Mann, Leo Dorst |
Geometric Algebra: A Computational Framework for Geometrical Applications (Part 2). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 22(4), pp. 58-67, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
rotation reprensentation, Plucker coordinates, geometric differentiation, computational geometry, join, quaternions, meet, geometric algebra, Clifford algebra, homogeneous coordinates, dualization |
24 | Parthasarathi Dasgupta, Susmita Sur-Kolay |
Slicibility of rectangular graphs and floorplan optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPD ![In: Proceedings of the 1997 International Symposium on Physical Design, ISPD 1997, Napa Valley, California, USA, April 14-16, 1997, pp. 150-155, 1997, ACM, 0-89791-927-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
graph dualization, nonslicible floorplans, slicible floorplans, very large scale integration, heuristic search, planar graphs, floorplanning |
24 | Jan C. Bioch, Toshihide Ibaraki |
Generating and Approximating Nondominated Coteries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 6(9), pp. 905-914, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Almost-self-dual functions, nondominated coteries, positive Boolean functions, self-dual functions, mutual-exclusion, coteries, monotone Boolean functions, dualization |
24 | Mauro Mezzini, Fernando Cuartero Gomez, Fernando L. Pelayo, Jose Javier Paulet Gonzales, Hernan Indibil de la Cruz Calvo, Vicente Pascual |
A polynomial quantum computing algorithm for solving the dualization problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.14819, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Francesco Tonin, Alex Lambert, Panagiotis Patrinos, Johan A. K. Suykens |
Extending Kernel PCA through Dualization: Sparsity, Robustness and Fast Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.05815, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Mauro Mezzini, Fernando Cuartero Gomez, Fernando López Pelayo, Jose Javier Paulet Gonzales, Hernan Indibil de la Cruz Calvo, Vicente Pascual |
A polynomial quantum computing algorithm for solving the dualization problem for positive boolean functions (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIQxQIA@AI*IA ![In: Proceedings of the International Workshop on AI for Quantum and Quantum for AI (AIQxQIA 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), November 6 - November 9, 2023, Roma Tre University, Rome, Italy., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
24 | Francesco Tonin, Alex Lambert, Panagiotis Patrinos, Johan A. K. Suykens |
Extending Kernel PCA through Dualization: Sparsity, Robustness and Fast Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 34379-34393, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
24 | Yinsheng Zhang |
Harmonization, Dualization and Globalization of Categorical Propositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 39(5-6), pp. 505-538, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
24 | Khaled M. Elbassioni |
On Dualization over Distributive Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. Theor. Comput. Sci. ![In: Discret. Math. Theor. Comput. Sci. 24(2), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Yishuai Li |
Testing by Dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.01047, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Huisi Zhou, Dantong Ouyang, Liming Zhang 0005, Naiyu Tian |
Model-based diagnosis with improved implicit hitting set dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 52(2), pp. 2111-2118, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Riley Murray, Venkat Chandrasekaran, Adam Wierman |
Publisher Correction to: Signomial and polynomial optimization via relative entropy and partial dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. Comput. ![In: Math. Program. Comput. 13(2), pp. 297-299, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Riley Murray, Venkat Chandrasekaran, Adam Wierman |
Signomial and polynomial optimization via relative entropy and partial dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. Comput. ![In: Math. Program. Comput. 13(2), pp. 257-295, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Oscar Defrain, Lhouari Nourine, Takeaki Uno |
On the dualization in distributive lattices and related problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 300, pp. 85-96, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Oscar Defrain, Lhouari Nourine |
Dualization in lattices given by implicational bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 814, pp. 169-176, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Khaled M. Elbassioni |
On Dualization over Distributive Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.15337, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Oscar Defrain |
On the dualization problem in graphs, hypergraphs, and lattices. (Sur le problème de dualisation dans les graphes, hypergraphes, et treillis). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
24 | Oscar Defrain, Lhouari Nourine, Takeaki Uno |
On the dualization in distributive lattices and related problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.07004, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Oscar Defrain, Lhouari Nourine |
Dualization in lattices given by implicational bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1901.07503, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Pierre Laforgue, Alex Lambert, Luc Motte, Florence d'Alché-Buc |
On the Dualization of Operator-Valued Kernel Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.04621, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Oscar Defrain, Lhouari Nourine |
Dualization in Lattices Given by Implicational Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis - 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, Proceedings, pp. 89-98, 2019, Springer, 978-3-030-21461-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Nafiseh Sedaghat, Tamon Stephen, Leonid Chindelevitch |
Speeding up Dualization in the Fredman-Khachiyan Algorithm B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEA ![In: 17th International Symposium on Experimental Algorithms, SEA 2018, June 27-29, 2018, L'Aquila, Italy, pp. 6:1-6:13, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-070-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Takahisa Toda |
Dualization of boolean functions using ternary decision diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 79(1-3), pp. 229-244, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Kira V. Adaricheva, James B. Nation |
Discovery of the D-basis in binary tables based on hypergraph dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 658, pp. 307-315, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Mikhail A. Babin, Sergei O. Kuznetsov |
Dualization in lattices given by ordered sets of irreducibles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 658, pp. 316-326, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Lhouari Nourine, Jean-Marc Petit |
Beyond Hypergraph Dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Algorithms ![In: Encyclopedia of Algorithms - 2016 Edition, pp. 189-192, 2016, Springer, 978-1-4939-2863-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Walter Alt, C. Yalçin Kaya, Christopher Schneider |
Dualization and discretization of linear-quadratic control problems with bang-bang solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO J. Comput. Optim. ![In: EURO J. Comput. Optim. 4(1), pp. 47-77, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Nicolas Durand 0001, Mohamed Quafafou |
Frequent Itemset Border Approximation by Dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Large Scale Data Knowl. Centered Syst. ![In: Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVI - Special Issue on Data Warehousing and Knowledge Discovery, pp. 32-60, 2016, Springer, 978-3-662-49783-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Lhouari Nourine, Jean-Marc Petit |
Extended dualization: Application to maximal pattern mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 618, pp. 107-121, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Elena V. Djukova, Andrey G. Nikiforov, Petr A. Prokofyev |
Parallelizing asymptotically optimal algorithms for large-scale dualization problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1605.06692, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
24 | Kira V. Adaricheva, James B. Nation |
Discovery of the D-basis in binary tables based on hypergraph dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.02875, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
24 | Mikhail A. Babin, Sergei O. Kuznetsov |
Dualization in Lattices Given by Ordered Sets of Irreducibles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.01145, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
24 | Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, João Marques-Silva 0001 |
Smallest MUS Extraction with Minimal Hitting Set Dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 173-182, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Lhouari Nourine, Jean-Marc Petit |
Dualization on Partially Ordered Sets: Preliminary Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIP ![In: Information Search, Integration and Personalization - 9th International Workshop, ISIP 2014, Kuala Lumpur, Malaysia, October 9-10, 2014, Revised Selected Papers, pp. 23-34, 2014, Springer, 978-3-319-38900-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Takahisa Toda |
Dualization of Boolean functions Using Ternary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAIM ![In: International Symposium on Artificial Intelligence and Mathematics, ISAIM 2014, Fort Lauderdale, FL, USA, January 6-8, 2014, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | Michael Kiermaier, Johannes Zwanzger |
New ring-linear codes from dualization in projective Hjelmslev geometries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 66(1-3), pp. 39-55, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Lhouari Nourine, Jean-Marc Petit |
Extending Set-based Dualization: Application to Pattern Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012, pp. 630-635, 2012, IOS Press, 978-1-61499-097-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | César Sánchez 0001, Julián Samborski-Forlese |
Efficient Regular Linear Temporal Logic Using Dualization and Stratification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012, pp. 13-20, 2012, IEEE Computer Society, 978-1-4673-2659-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Oya Ekin Karasan |
Incremental polynomial time dualization of quadratic functions and a subclass of degree-k functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 188(1), pp. 251-261, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Heide Gluesing-Luerssen, Elizabeth A. Weaver |
Characteristic Generators and Dualization for Tail-Biting Trellises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 57(11), pp. 7418-7430, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Heide Gluesing-Luerssen, Elizabeth A. Weaver |
Characteristic Generators and Dualization for Tail-Biting Trellises ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1101.3929, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
24 | Peter Damaschke |
Parameterized algorithms for double hypergraph dualization with rank limitation and maximum minimal vertex cover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Optim. ![In: Discret. Optim. 8(1), pp. 18-24, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Khaled M. Elbassioni, Imran Rauf |
Polynomial-time dualization of r-exact hypergraphs with applications in geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 310(17-18), pp. 2356-2363, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Endre Boros, Khaled M. Elbassioni, Kazuhisa Makino |
Left-to-Right Multiplication for Monotone Boolean Dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 39(7), pp. 3424-3439, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Gianluca Quercini, Massimo Ancona |
Confluent Drawing Algorithms Using Rectangular Dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing - 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers, pp. 341-352, 2010, Springer, 978-3-642-18468-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Khaled M. Elbassioni |
Algorithms for Dualization over Products of Partially Ordered Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 23(1), pp. 487-510, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Thomas Eiter, Kazuhisa Makino, Georg Gottlob |
Computational aspects of monotone dualization: A brief survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 156(11), pp. 2035-2049, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Khaled M. Elbassioni |
On the complexity of monotone dualization and generating minimal hypergraph transversals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 156(11), pp. 2109-2123, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Leonid Khachiyan, Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich |
On the dualization of hypergraphs with bounded edge-intersections and other related classes of hypergraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 382(2), pp. 139-150, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | James Bailey 0001, Peter J. Stuckey |
Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings, pp. 174-186, 2005, Springer, 3-540-24362-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Minimal unsatisfiable sets, constraint solving, hitting sets, hypergraph transversals |
24 | Dimitris J. Kavvadias, Elias C. Stavropoulos |
Monotone Boolean dualization is in co-NP[log2n]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 85(1), pp. 1-6, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Kazuhisa Makino |
Efficient dualization of O(log n)-term monotone disjunctive normal forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 126(2-3), pp. 305-312, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Thomas Eiter, Georg Gottlob, Kazuhisa Makino |
New Results on Monotone Dualization and Generating Hypergraph Transversals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 32(2), pp. 514-537, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Thomas Eiter |
Abduction and the Dualization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003, Proceedings, pp. 1-2, 2003, Springer, 3-540-20291-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Takeaki Uno, Ken Satoh |
Detailed Description of an Algorithm for Enumeration of Maximal Frequent Sets with Irredundant Dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIMI ![In: FIMI '03, Frequent Itemset Mining Implementations, Proceedings of the ICDM 2003 Workshop on Frequent Itemset Mining Implementations, 19 December 2003, Melbourne, Florida, USA, 2003, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
24 | Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino |
Recognition and dualization of disguised bidual Horn functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 82(6), pp. 283-291, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Thomas Eiter, Georg Gottlob, Kazuhisa Makino |
New Results on Monotone Dualization and Generating Hypergraph Transversals ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.DS/0204009, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
24 | Khaled M. Elbassioni |
An Algorithm for Dualization in Products of Lattices and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2002, 10th Annual European Symposium, Rome, Italy, September 17-21, 2002, Proceedings, pp. 424-435, 2002, Springer, 3-540-44180-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Teemu Pennanen |
Dualization of Generalized Equations of Maximal Monotone Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Optim. ![In: SIAM J. Optim. 10(3), pp. 809-835, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Jacek Cichon, Adam Krawczyk, Barbara Majcher-Iwanow, Bogdan Weglorz |
Dualization of The Van Douwen Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 65(2), pp. 959-968, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Carlos Domingo, Nina Mishra, Leonard Pitt |
Efficient Read-Restricted Monotone CNF/DNF Dualization by Learning with Membership Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 37(1), pp. 89-110, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Jan C. Bioch |
Dualization, Decision Lists and Identification of Monotone Discrete Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 24(1-4), pp. 69-91, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Michael L. Fredman, Leonid Khachiyan |
On the Complexity of Dualization of Monotone Disjunctive Normal Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Algorithms ![In: J. Algorithms 21(3), pp. 618-628, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Gary K. H. Yeap, Majid Sarrafzadeh |
Sliceable Floorplanning by Graph Dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 8(2), pp. 258-280, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Jan C. Bioch, Toshihide Ibaraki |
Complexity of Identification and Dualization of Positive Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 123(1), pp. 50-63, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Yachyang Sun, Majid Sarrafzadeh |
Floorplanning by Graph Dualization: L-shaped Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 10(6), pp. 429-456, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Kok-Hoo Yeap, Majid Sarrafzadeh |
Floor-Planning by Graph Dualization: 2-Concave Rectilinear Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 22(3), pp. 500-526, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Hoang Tuy |
Polyhedral annexaton, dualization and dimension reduction technique in global optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 1(3), pp. 229-244, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Yves Crama |
Dualization of regular Boolean functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 16(1), pp. 79-85, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
18 | Jianbin Qiu, Gang Feng 0001, Jie Yang 0004 |
Robust H∞ static output feedback control of discrete-time switched polytopic linear systems with average dwell-time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(11), pp. 2019-2031, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
static output feedback, average dwell-time, time-varying uncertainty, H ? control, linear matrix inequality, switched systems |
18 | Kevin Yuen 0001, Baochun Li, Ben Liang 0001 |
Distributed Data Gathering in Multi-sink Sensor Networks with Correlated Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: NETWORKING 2006 - Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems, 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006, Proceedings, pp. 868-879, 2006, Springer, 3-540-34192-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
optimal rate allocation, transmission structure, Sensor networks, distributed algorithm, data correlation, minimum energy |
18 | Abilio Lucena |
Non Delayed Relax-and-Cut Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 140(1), pp. 375-410, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
relax-and-cut, valid constraints, dual bound strengthening, Lagrangian relaxation |
18 | Wided Ouaja, Barry Richards |
Hybrid Lagrangian relaxation for bandwidth-constrained routing: knapsack decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 383-387, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
integer multicommodity flow problems, network routing, constraint propagation, lagrangian relaxation |
18 | Jirí Adámek |
A Logic of Coequations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, pp. 70-86, 2005, Springer, 3-540-28231-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Fabien De Marchi, Frédéric Flouvat, Jean-Marc Petit |
Adaptive Strategies for Mining the Positive Border of Interesting Patterns: Application to Inclusion Dependencies in Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 81-101, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Till Mossakowski |
Comorphism-Based Grothendieck Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings, pp. 593-604, 2002, Springer, 3-540-44040-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Endre Boros, Vladimir Gurvich, Leonid Khachiyan, Kazuhisa Makino |
Generating Partial and Multiple Transversals of a Hypergraph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings, pp. 588-599, 2000, Springer, 3-540-67715-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Jan C. Bioch, Viara Popova |
Rough Sets and Ordinal Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 11th International Conference, ALT 2000, Sydney, Australia, December 11-13, 2000, Proceedings, pp. 291-305, 2000, Springer, 3-540-41237-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Parthasarathi Dasgupta, Susmita Sur-Kolay, Bhargab B. Bhattacharya |
A unified approach to topology generation and optimal sizing of floorplans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(2), pp. 126-135, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | B. Lokanathan, Edwin Kinnen |
Performance optimized floor planning by graph planarization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 26th ACM/IEEE Design Automation Conference, Las Vegas, Nevada, USA, June 25-29, 1989., pp. 116-121, 1989, ACM Press. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|