Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for 68T15 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2001 (1) 2004 (1) 2006 (3) 2007 (2)
Publication types (Num. hits)
article(7)
Venues (Conferences, Journals, ...)
Ann. Math. Artif. Intell.(4) Comput. Complex.(2) J. Autom. Reason.(1)
Authors
Maria Luisa Bonet(2) Alexander Bolotov(1) Alexis Maciel(1) Artie Basukoski(1) Carlos Domingo(1) Daniele Zucchelli(1) Enrica Nicolini(1) John R. Cowles(1) Kathrin Konczak(1) Miguel F. Anjos(1) Nicola Galesi(1) Ricard Gavaldà(1) Ruben Gamboa(1) Silvio Ghilardi(1) Silvio Ranise(1) Toniann Pitassi(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 8 keywords
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
27Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli Decision procedures for extensions of the theory of arrays. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 03B25, 03B70, 68T15
27Ruben Gamboa, John R. Cowles Theory Extension in ACL2(r). Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T15, 03B35, 03H15
27Alexander Bolotov, Artie Basukoski A clausal resolution method for branching-time logic ECTL+. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF AMS subject classification 03B35, 03B44, 68Q60, 68Q85, 68T15, 68N30
27Wolfgang Faber 0001, Kathrin Konczak Strong order equivalence. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68T30, 68T15
27Miguel F. Anjos An explicit semidefinite characterization of satisfiability for Tseitin instances on toroidal grid graphs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 90C22, 03B05, 90C09, 90C90, 68T15
27Maria Luisa Bonet, Carlos Domingo, Ricard Gavaldà, Alexis Maciel, Toniann Pitassi Non-Automatizability of Bounded-Depth Frege Proofs. Search on Bibsonomy Comput. Complex. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Subject classification. 03F20, 68Q17, 68T15
27Maria Luisa Bonet, Nicola Galesi Optimality of size-width tradeoffs for resolution. Search on Bibsonomy Comput. Complex. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF complexity of proofs, automated theorem proving.¶ Subject classification. 03F20, 03B05, Resolution, 68T15
Displaying result #1 - #7 of 7 (100 per page; Change: )
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