On the Minimum Satisfiability Problem (Englisch)
- Neue Suche nach: Arif, Umair
- Neue Suche nach: Benkoczi, Robert
- Neue Suche nach: Gaur, Daya Ram
- Neue Suche nach: Krishnamurti, Ramesh
- Neue Suche nach: Arif, Umair
- Neue Suche nach: Benkoczi, Robert
- Neue Suche nach: Gaur, Daya Ram
- Neue Suche nach: Krishnamurti, Ramesh
In:
Algorithms and discrete applied mathematics
; 269-281
;
2020
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:On the Minimum Satisfiability Problem
-
Beteiligte:Arif, Umair ( Autor:in ) / Benkoczi, Robert ( Autor:in ) / Gaur, Daya Ram ( Autor:in ) / Krishnamurti, Ramesh ( Autor:in )
-
Kongress:CALDAM ; 6. ; 2020 ; Hyderabad, Telangana
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Cham
-
Erscheinungsdatum:2020
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 00B25 / 68-06 / 68Wxx
- Weitere Informationen zu Mathematics Subject Classification
- Neue Suche nach: 31.80
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 3
-
Complexity of Restricted Variant of Star ColouringShalu, M. A. / Antony, Cyriac et al. | 2020
- 15
-
Partitioning Cographs into Two Forests and One Independent SetHell, Pavol / Hernández-Cruz, César / Sanyal, Anurag et al. | 2020
- 28
-
Monitoring the Edges of a Graph Using DistancesFoucaud, Florent / Klasing, Ralf / Miller, Mirka / Ryan, Joe et al. | 2020
- 41
-
The Lexicographic Method for the Threshold Cover Problem. .Francis, Mathew C. / Jacob, Dalu et al. | 2020
- 53
-
Approximating Modular Decomposition Is HardHabib, Michel / Mouatadid, Lalla / Zou, Mengchuan et al. | 2020
- 67
-
Vertex-Edge Domination in Unit Disk GraphsJena, Sangram K. / Das, Gautam K. et al. | 2020
- 79
-
Geometric Planar Networks on Bichromatic PointsBandyapadhyay, Sayan / Banik, Aritra / Bhore, Sujoy / Nóllenburg, Martin et al. | 2020
- 92
-
Hardness Results of Global Total k-Domination Problem in GraphsPanda, B. S. / Goyal, Pooja et al. | 2020
- 102
-
Hardness and Approximation for the Geodetic Set Problem in Some Graph ClassesChakraborty, Dibyayan / Foucaud, Florent / Gahlawat, Harmender / Ghosh, Subir Kumar / Roy, Bodhayan et al. | 2020
- 116
-
Maximum Weighted Edge Biclique Problem on Bipartite GraphsPandey, Arti / Sharma, Gopika / Jain, Nivedit et al. | 2020
- 131
-
Determining Number of Generalized and Double Generalized Petersen GraphDas, Angsuman et al. | 2020
- 141
-
Self-centeredness of Generalized Petersen GraphsSingh, Priyanka / Panigrahi, Pratima / Singh, Aakash et al. | 2020
- 156
-
Weak Roman Bondage Number of a GraphPushpam, P. Roushini Leely / Srilakshmi, N. et al. | 2020
- 167
-
On the Geodetic and Hull Numbers of Shadow GraphsChandran, S. V. Ullas / Dourado, Mitre C. / Thankachy, Maya G. S. et al. | 2020
- 178
-
Indicated Coloring of Complete Expansion and Lexicographic Product of GraphsFrancis, P. / Raj, S. Francis / Gokulnath, M. et al. | 2020
- 184
-
Smallest C2/+1-Critical Graphs of Odd-Girth 2k +1 Laurent Beaudou, Florent Foucaud, and Reza NaserasrBeaudou, Laurent / Foucaud, Florent / Naserasr, Reza et al. | 2020
- 197
-
Ramsey Numbers for Line GraphsAbbasi, Huzaifa / Basavaraju, Manu / Gurushankar, Eeshwar / Jivani, Yash / Srikanth, Deepak et al. | 2020
- 209
-
A-Convexity Number and 4-Number of Graphs and Graph ProductsAnand, Bijo S. / Narasimha-Shenoi, Prasanth G. / Sain, R. Sabeer et al. | 2020
- 219
-
On Cartesian Products of Signed GraphsLajou, Dimitri et al. | 2020
- 235
-
List Distinguishing Number of pth Power of Hypercube and Cartesian Powers of a GraphChandran, L. Sunil / Padinhatteeri, Sajith / Shankar, Karthik Ravi et al. | 2020
- 248
-
On Algebraic Expressions of Two-Terminal Directed Acyclic GraphsKorenblit, Mark / Levit, Vadim E. et al. | 2020
- 260
-
The Relative Oriented Clique Number of Triangle-Free Planar Graphs Is 10Das, Soura Sena / Nandi, Soumen / Sen, Sagnik et al. | 2020
- 269
-
On the Minimum Satisfiability ProblemArif, Umair / Benkoczi, Robert / Gaur, Daya Ram / Krishnamurti, Ramesh et al. | 2020
- 282
-
Waiting for Trains: Complexity ResultsTauer, Bjoern / Fischer, Dennis / Fuchs, Janosch / Koch, Laura Vargas / Zieger, Stephan et al. | 2020
- 307
-
Oriented Diameter of Star GraphsKumar, K. S. Ajish / Rajendraprasad, Deepak / Sudeep, K. S. et al. | 2020
- 318
-
Gathering over Meeting Nodes in Infinite GridBhagat, Subhash / Chakraborty, Abhinav / Das, Bibhuti / Mukhopadhyaya, Krishnendu et al. | 2020
- 331
-
0-1 Timed Matching in Bipartite Temporal GraphsMandal, Subhrangsu / Gupta, Arobinda et al. | 2020
- 347
-
Arbitrary Pattern Formation by Opaque Fat Robots with LightsBose, Kaustav / Adhikary, Ranendu / Kundu, Manash Kumar / Sau, Buddhadeb et al. | 2020
- 363
-
Greedy Universal Cycle Constructions for Weak OrdersJacques, Marsden / Wong, Dennis et al. | 2020
- 371
-
A New Model in Firefighting TheoryKlein, Rolf / Kübel, David / Langetepe, Elmar / Sack, Jörg-Rüdiger / Schwarzwald, Barbara et al. | 2020
- 384
-
An Algorithm for Strong Stability in the Student-Project Allocation Problem with TiesOlaosebikan, Sofiat / Manlove, David et al. | 2020
- 403
-
Overlaying a Hypergraph with a Graph with Bounded Maximum DegreeHavet, Frédéric / Mazauric, Dorian / Nguyen, Viet-Ha / Watrigant, Rémi et al. | 2020
- 415
-
Parameterized Algorithms for Directed Modular WidthSteiner, Raphael / Wiederrecht, Sebastian et al. | 2020
- 427
-
On the Parameterized Complexity of Spanning Trees with Small Vertex CoversKaur, Chamanvir / Misra, Neeldhara et al. | 2020
- 439
-
Minimun Conflict Free Colouring Parameterized by TreewidthAshok, Pradeesha / Bhargava, Rathin / Gupta, Naman / Khalid, Mohammad / Yadav, Dolly et al. | 2020
- 453
-
Planar Projections of GraphsAravind, N. R. / Maniyar, Udit et al. | 2020
- 463
-
New Algorithms and Bounds for Halving PseudolinesBereg, Sergey / Haghpanah, Mohammadreza et al. | 2020
- 476
-
Algorithms for Radon Partitions with ToleranceBereg, Sergey / Haghpanah, Mohammadreza et al. | 2020