Search results for "graph-3-coloring"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
36	Hans van Maaren, Linda van Norden	Hidden Threshold Phenomena for Fixed-Density SAT-formulae.	SAT	2003	DBLP DOI BibTeX RDF	Horn, graph-3-coloring, satisfiability, thresholds, 3-SAT
25	Haixia Jia, Cristopher Moore	How Much Backtracking Does It Take to Color Random Graphs? Rigorous Results on Heavy Tails.	CP	2004	DBLP DOI BibTeX RDF
18	Wenan Zang	Proof of Toft's Conjecture: Every Graph Containing No Fully Odd K4 Is 3-Colorable.	COCOON	1998	DBLP DOI BibTeX RDF
13	Caroline Bang, Zdenek Dvorák 0001, Emily Heath, Bernard Lidický	Embedded graph 3-coloring and flows.	CoRR	2023	DBLP DOI BibTeX RDF
13	Ehsan Ebrahimi	Post-quantum Efficient Proof for Graph 3-Coloring Problem.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
13	Iztok Fister 0001, Marjan Mernik, Bogdan Filipic	Graph 3-coloring with a hybrid self-adaptive evolutionary algorithm.	Comput. Optim. Appl.	2013	DBLP DOI BibTeX RDF
13	Iztok Fister 0001, Marjan Mernik, Bogdan Filipic	Graph 3-coloring with a hybrid self-adaptive evolutionary algorithm	CoRR	2013	DBLP BibTeX RDF
13	Iztok Fister Jr., Iztok Fister 0001, Janez Brest	A Hybrid Artificial Bee Colony Algorithm for Graph 3-Coloring	CoRR	2012	DBLP BibTeX RDF
13	Faisal N. Abu-Khzam, Michael A. Langston	Almost Exact Graph 3-Coloring in O(1.277^n) Time.	CTW	2012	DBLP BibTeX RDF
13	Iztok Fister Jr., Iztok Fister 0001, Janez Brest	A Hybrid Artificial Bee Colony Algorithm for Graph 3-Coloring.	ICAISC (SIDE-EC)	2012	DBLP DOI BibTeX RDF
11	John Watrous	Zero-knowledge against quantum attacks.	STOC	2006	DBLP DOI BibTeX RDF	zero-knowledge proof systems, quantum cryptography
9	HongDa Li 0001, Bao Li 0001	Existence of 3-round zero-knowledge proof systems for NP.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	non-black-box simulation, DDH assumption, zero-knowledge proof, interactive proof
9	Toni Mancini, Marco Cadoli	Detecting and Breaking Symmetries by Reasoning on Problem Specifications.	SARA	2005	DBLP DOI BibTeX RDF

Displaying result #1 - #13 of 13 (100 per page; Change: )