|
|
Venues (Conferences, Journals, ...)
|
|
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 |
27 | Stefan Porschen |
On variable-weighted exact satisfiability problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 51(1), pp. 27-54, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03B05, 68Q25, 05C85 |
27 | Carlos Ansótegui, Jose Larrubia, Chu Min Li, Felip Manyà |
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 49(1-4), pp. 191-205, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03B50, 03B05, 03B70 |
27 | A. Zarandi Baghini, Arsham Borumand Saeid |
Generalized Fuzzy B-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 226-233, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification 03G25, 03B05, 06F35, 03B52 |
27 | Miguel F. Anjos |
An explicit semidefinite characterization of satisfiability for Tseitin instances on toroidal grid graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 48(1-2), pp. 1-14, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 90C22, 03B05, 90C09, 90C90, 68T15 |
27 | Gert de Cooman |
Belief models: An order-theoretic investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 45(1-2), pp. 5-34, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
AMS subject classification 03B05, 03B22, 03B48, 06A12, 60A05, 06A06 |
27 | Maria Luisa Bonet, Nicola Galesi |
Optimality of size-width tradeoffs for resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 10(4), pp. 261-276, 2001. The full citation details ...](Pics/full.jpeg) |
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: )
|
|