Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for MaxCSP with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1997-2012 (6)
Publication types (Num. hits)
article(1) inproceedings(5)
Venues (Conferences, Journals, ...)
AI(2) FOCS(1) IEA/AIE(1) ISMVL(1) J. Multiple Valued Log. Soft C...(1)
Authors
Alba Cabiscol(2) Felip Manyà(2) Inês Lynce(2) Josep Argelich(2) Michael C. Horsch(2) Aditya Ghose(1) Hiromitsu Hattori(1) Howard J. Karloff(1) Jingfang Zheng(1) Tadachika Ozono(1) Takayuki Ito 0001(1) Toramatsu Shintani(1) Uri Zwick(1) William S. Havens(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
93Michael C. Horsch, William S. Havens, Aditya Ghose Generalized Arc Consistency with Application to MaxCSP. Search on Bibsonomy AI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
76Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà New Insights into Encodings from MaxCSP into Partial MaxSAT. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF MaxCSP, Partial MaxSAT, Encodings
40Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. Search on Bibsonomy J. Multiple Valued Log. Soft Comput. The full citation details ... 2012 DBLP  BibTeX  RDF
26Hiromitsu Hattori, Takayuki Ito 0001, Tadachika Ozono, Toramatsu Shintani A Nurse Scheduling System Based on Dynamic Constraint Satisfaction Problem. Search on Bibsonomy IEA/AIE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Jingfang Zheng, Michael C. Horsch A Comparison of Consistency Propagation Algorithms in Constraint Optimization. Search on Bibsonomy AI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Howard J. Karloff, Uri Zwick A 7/8-Approximation Algorithm for MAX 3SAT? Search on Bibsonomy FOCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
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