Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for 03B05 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2001 (1) 2005 (1) 2006 (1) 2007 (3)
Publication types (Num. hits)
article(5) inproceedings(1)
Venues (Conferences, Journals, ...)
Ann. Math. Artif. Intell.(4) Comput. Complex.(1) ICFIE(1)
Authors
A. Zarandi Baghini(1) Arsham Borumand Saeid(1) Carlos Ansótegui(1) Chu Min Li(1) Felip Manyà(1) Gert de Cooman(1) Jose Larrubia(1) Maria Luisa Bonet(1) Miguel F. Anjos(1) Nicola Galesi(1) Stefan Porschen(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 8 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
27Stefan Porschen On variable-weighted exact satisfiability problems. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B05, 68Q25, 05C85
27Carlos Ansótegui, Jose Larrubia, Chu Min Li, Felip Manyà Exploiting multivalued knowledge in variable selection heuristics for SAT solvers. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03B50, 03B05, 03B70
27A. Zarandi Baghini, Arsham Borumand Saeid Generalized Fuzzy B-Algebras. Search on Bibsonomy ICFIE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification 03G25, 03B05, 06F35, 03B52
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
27Gert de Cooman Belief models: An order-theoretic investigation. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF AMS subject classification 03B05, 03B22, 03B48, 06A12, 60A05, 06A06
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 - #6 of 6 (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