@book{arrow1book51,
author="K.J. Arrow",
title="Social choice and individual values",
publisher="J. Wiley",
year=1951,
address="New York",
note="2nd edition, 1963"
}
@ARTICLE{Gibbard73,
author={Gibbard, A.},
title={Manipulation of voting schemes: A general result},
journal={Econometrica},
year=1973,
volume=41,
pages="587-601",

}
@book{Condorcet1785,
author="Condorcet, {Marquis de}",
title="Essai sur l'application de l'analyse \`a la probabilit\'e des d\'ecisions rendues \`a la pluralit\'e des voix",
year=1785,
publisher="Imprimerie Royale",
address="Paris"
}
@ARTICLE{Satterthwaite75,
author={Satterthwaite, {M.A}.},
title={Strategy proofness and {Arrow's} conditions: Existence and correspondence theorems for voting procedures and social welfare functions},
journal={Journal of Economic Theory},
year=1975,
volume=10,
pages="187-217"
}


@ARTICLE{Satterthwaite75,
author={Satterthwaite, {M.A}.},
title={Strategy proofness and {Arrow's} conditions: Existence and correspondence theorems for voting procedures and social welfare functions},
journal={Journal of Economic Theory},
year=1975,
volume=10,
pages="187-217"
}

@ARTICLE{Gibbard69,
author = {{\protect A.} Gibbard},
title = {Social Choice and the Arrow Conditions},
journal = {unpublished},
year = {1969},
}

@ARTICLE{Wiener14,
author = {N. Wiener},
title = {A contribution to the theory of relative position},
journal = {Proc. of Cambridge Philosophical Society},
volume = {17},
year = {1914},
pages = {441--449}

}

@article{Fishburn97,
author = {{\protect P.C.} Fishburn},
title = {Generalisations of Semiorders: a review note},
journal = {Journal of Mathematical Psychology},
volume = {41},
pages = {357--366},
year = {1997}
}

@BOOK{Fishburn73,
author = {{\protect P.C.} Fishburn},
title = {The theory of social choice},
publisher = {Princeton University Press},
year = {1973},

}


@BOOK{Fishburn85,
author = {{\protect P.C.} Fishburn},
title = {Interval Orders and Interval Graphs},
publisher = {J. Wiley, New York},
year = {1985},

}


@BOOK{PirlotVincke97,
author = {M. Pirlot and {\protect Ph.} Vincke},
title = {Semi Orders},
publisher = {Kluwer Academic, Dordrecht},
year = {1997},
}


@Article{Stanley96,
  author =       {R. Stanley},
  title =        {Hyperplanes arrangements, interval orders and trees},
  journal =      {Proc. Nat. Acad. Sci.},
  year =         {1996},
  volume = {93},
  OPTnumber = {},
  pages = {2620-2625}
}

@Article{Hudry,
  author =       {O. Stanley},
  title =        {Computation of median },
  journal =      {Proc. Nat. Acad. Sci.},
  year =         {1996},
  volume = {93},
  OPTnumber = {},
  pages = {2620-2625}
}



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@Article{DarwicheMarquis02,
  author =       {A. Darwiche and P. Marquis},
  title =        {A knowledge compilation map},
  journal =      {Journal of Artificial Intelligence Research},
  year =         {2002},
  volume = {17},
  OPTnumber = {},
  pages = {229--264}
}

@Article{Boutilieretal04,
  author =   {C. Boutilier and R. Brafman and C. Domshlak and H. Hoos and D. Poole},
  title =    {{CP}-nets: a tool for representing and reasoning with conditional ceteris paribus statements},
  journal =      {Journal of Artificial Intelligence Research},
  year =     {2004},
  OPTkey =   {},
  volume =   {21},
  OPTnumber =    {},
  pages =    {135-191},
  OPTmonth =     {},
  OPTnote =      {},
  OPTannote =    {}
}

@Article{Lang04,
  author =   {J. Lang},
  title =    {Logical Preference Representation and Combinatorial Vote},
  journal =      {Annals of Mathematics and Artificial Intelligence},
  year =     {2004},
  OPTkey =   {},
  volume =   {42},
  number =   {1-3},
  pages =    {37-71},
  OPTmonth =     {},
  OPTnote =      {},
  OPTannote =    {}
}

@InProceedings{DoyleWellman91,
  author =   {J. Doyle and M.P. Wellman},
  title =    {Preferential semantics for goals},
  booktitle = {Proc. of AAAI'91},
  pages =    {698-703},
  year =     {1991},
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  OPTaddress =   {},
  OPTmonth =     {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote =      {},
  OPTannote =    {}
}

@Article{Bistarellietal99,
  author =   {S. Bistarelli and H. Fargier and U. Montanari and F. Rossi and Th. Schiex and G. Verfaillie},
  title =    {Semiring-based {CPS}s and valued {CSP}s: {F}ramework, properties and comparison},
  journal =      {Constraints},
  year =     {1999},
  OPTkey =   {},
  volume =   {4},
  number =   {3},
  pages =    {199-240},
  OPTmonth =     {},
  OPTnote =      {},
  OPTannote =    {}
}

@Book{Papadimitriou94,
  author =       {Ch. Papadimitriou},
  title =        {Computational complexity},
  publisher =    {Addison--Wesley},
  year =         {1994}
}

@InProceedings{BacchusGrove96,
  author =   {F. Bacchus and A.J. Grove},
  title =    {Utility independence in a qualitative decision theory},
  booktitle = {Proc. of KR'96},
  pages =    {542-552},
  year =     {1996},
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  OPTaddress =   {},
  OPTmonth =     {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote =      {},
  OPTannote =    {}
}


@InProceedings{GonzalesPerny04,
  author =   {Ch. Gonzales and P. Perny},
  title =    {{GAI} networks for utility elicitation},
  booktitle = {Proc. of KR'04},
  pages =    {224-234},
  year =     {2004},
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  OPTaddress =   {},
  OPTmonth =     {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote =      {},
  OPTannote =    {}
}

@InProceedings{LafageLang00,
  author =   {C. Lafage and J. Lang},
  title =    {Logical representation of preferences for group decision making},
  booktitle = {Proc. of KR'00},
  pages =    {457-468},
  year =     {2000},
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  OPTaddress =   {},
  OPTmonth =     {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote =      {},
  OPTannote =    {}
}

@InProceedings{Costeetal04,
  author =   {S. Coste-Marquis and J. Lang and P. Liberatore and P. Marquis},
  title =    {Expressive Power and Succinctness of Propositional Languages for Preference Representation},
  booktitle = {Proc. of KR'04},
  pages =    {203-212},
  year =     {2004},
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  OPTaddress =   {},
  OPTmonth =     {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote =      {},
  OPTannote =    {}
}

@InProceedings{Chevaleyreetal06,
  author =   {Y. Chevaleyre and U. Endriss and J. Lang},
  title =    {Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling},
  booktitle = {Proc. of KR'06},
  pages =    {145-152},
  year =     {2006},
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  OPTaddress =   {},
  OPTmonth =     {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote =      {},
  OPTannote =    {}
}

@Article{Luce56,
  author =   {R.D. Luce},
  title =    {Semi-orders and a theory of utility discrimination},
  journal =      {Econometrica},
  year =     {1956},
  volume =   {24},
  OPTpages =     {178-191},
  OPTmonth =     {},
  OPTnote =      {},
  OPTannote =    {}
}


@article{Fishburn97,
author = {{\protect P.C} Fishburn},
title = {Generalisations of Semiorders: a review note},
journal = {Journal of Mathematical Psychology},
volume = {41},
pages = {357--366},
year = {1997}
}

@ARTICLE{ScottSuppes58,
author = {D. Scott and P. Suppes},
title = {Foundational Aspects of theories of Measurement},
journal = {Journal of Symbolic Logic},
volume = {23},
year = {1958},
pages = {113--128}
}

@BOOK{KrantzLuceSuppesTversky71,
author={{\protect D.H} Krantz and {\protect R.D} Luce and P. Suppes and A. Tversky},
title={Foundations of measurement},
publisher={Academic Press, New York},
year={1971},
volume={1: Additive and polynomial representations}
}

@BOOK{Luceetal90,
author={{\protect R.D} Luce and {\protect D.H} Krantz and P. Suppes and A. Tversky},
title={Foundations of measurement},
publisher={Academic Press, New York},
year={1990},
volume={3: Representation, axiomatisation and invariance}
}


@BOOK{Suppesetal89,
author={{\protect D.H} Krantz and {\protect R.D} Luce and P. Suppes and A. Tversky},
title={Foundations of measurement},
publisher = {Academic Press, New York},
year = {1989},
volume = {2: Geometrical, threshold and probabilistic representations}
}

@BOOK{Fishburn85,
author = {{\protect P.C} Fishburn},
title = {Interval Orders and Interval Graphs},
publisher = {J. Wiley, New York},
year = {1985},

}


@BOOK{PirlotVincke97,
author = {M. Pirlot and {\protect Ph.} Vincke},
title = {Semi Orders},
publisher = {Kluwer Academic, Dordrecht},
year = {1997}
}


@BOOK{Papadimitriou,
author = {{\protect CH.} Papadimitriou and I. Steiglitz },
title = {Combinatorial Optimization: algorithms and complexity},
publisher = {Prentice-Hall, Englewood Cliffs},
year = {1982}
}



@ARTICLE{Wiener14,
author = {N. Wiener},
title = {A contribution to the theory of relative position},
journal = {Proc. of Cambridge Philosophical Society},
volume = {17},
year = {1914},
pages = {441--449}


}

@book{Sen70,
author = {{A.K.} Sen},
title = {Collective Choice and Social Welfare},
publisher = {North Holland, Amsterdam},
year = {1970} 
}

@ARTICLE{Sen77,
author = {{A.K} Sen},
title = {Social choice theory: a re-examination},
journal = {Econometrica},
year = {1977},
pages = {53-89}


}

@article{TsoukiasVincke98,
author="A. Tsouki\`as and {Ph}. Vincke",
title="Double Threshold Orders: A new axiomatization",
journal="Journal of Multi-criteria Decision Analysis",
volume=7,
pages="285-301",
year=1998
}

@article{TsoukiasVincke03,
Author={Tsouki\`as, A. and Ph. Vincke},
Title={A characterization of {PQI} interval orders},
Journal={Discrete Applied Mathematics},
Volume={127},
Number={2},
Abstract={We provide an answer to an open problem concerning the representation of preferences by intervals. Given a finite set of elements and three relations on this set (indifference, weak preference and strict preference), necessary and sufficient conditions are provided for representing the elements of the set by intervals in such a way that (1) two elements are indifferent when the interval associated to one of them is included in the interval associated to the other; (2) an element is weakly preferred to another when the interval of the first is "more to the right" than the interval of the other, but the two intervals have a non-empty intersection; (3) an element is strictly preferred to another when the interval of the first is "more to the right" than the interval of the other and their intersection is empty},
url={http://www.sciencedirect.com/science?_ob=IssueURL&_tockey=%23TOC%232003%23418041               0.000000LA%23Volume_127,_Issue_2,_Pages_179-397_(15_April_2003)%2BMOrdinal_and_Symbolic_Data_Analysis_(OSDA_'98),_Univ._of_Massachusetts,_Amherst,_Sept._28-30,_1998.%2BMEdited_by_Prof._Melvin_F._Janowitz,_Piscataway,_USA.&_auth=y&view=c&_acct=C000022720&_version=1&_urlVersion=0&_userid=483692&md5=bd45a62cf0bf55a44eca5d3ee844a5d0},
Pages={387-397},
Year={2003}
}

@ARTICLE{NgoTheTsoukias05, author = {A. {Ngo The} and A.
Tsouki\`{a}s}, title = {Numerical representation of {PQI} interval
orders}, journal = {Discrete Applied Mathematics}, volume = {147}, year = {2005}, pages={125-146} }

@article{doignon87,
author="J.-P. Doignon",
title="Thresholds representation of multiple semiorders",
journal="SIAM Journal on Algebraic and Discrete Methods",
volume=8,
pages="77-84",
year=1987
}

@ARTICLE{Isaak93, author = {G. Isaak}, title = {Bounded discrete representations of interval orders},
journal = {Discrete Applied Mathematics}, volume = {44}, year = {1993}, pages={157-183} }
@Article{Wagner90,
  author =      {K.W. Wagner},
  title =       {Bounded query classes},
  journal =     {{SIAM} {J}ournal on {C}omputing},
  year =        {1990},
  volume =      {19},
  number =      {5},
  pages =       {833-846}
}


@Article{Doignon88,
  author =      {J.-P. Doignon},
  title =       {Sur les repr\'esentations minimales des semiordres et des ordres d'intervalles},
  journal =     {Math\'ematiques et Sciences Humaines},
  year =        {1988},
  volume =      {101},
  pages =       {49-59}
}

@Article{Hudry04,
  author =      {O. Hudry},
  title =       {Computation of median orders: complexity results},
  journal =     {Annales du LAMSADE},
  year =        {2004},
  volume =      {3},
  pages =       {179-214}
}

@Article{Hudry08,
  author =      {O. Hudry},
  title =       {NP-hardness results for the aggregation of linear orders into median orders},
  journal =     {Annals of Operations Research},
  year =        {2008},
  volume =      {163},
  pages =       {63-88}
}




@inproceedings{BinateCoveringProblem,
    author = "Olivier Coudert",
    title = "On Solving Covering Problems",
    booktitle = "Design Automation Conference",
    pages = "197-202",
    year = 1996,
    url = "citeseer.ist.psu.edu/coudert96solving.html" 
}

@Article{PseudoBooleanEvaluation,
  author =	 {V. Manquinho and O. Roussel},
  title =	 "The First Evaluation of Pseudo-Boolean Solvers
                  (PB'05)",
  journal =	 {{Journal on Satisfiability, Boolean Modeling and
                  Computation (JSAT)}},
  volume =	 2,
  pages =	 {103--143},
  year =	 2006
}

@Article{MAXSATEvaluation,
 author={Josep Argelich and Chu-Min Li and Felip Manyà and Jordi Planes},
 title= "The First and Second Max-SAT Evaluations",
 journal=  {{Journal on Satisfiability, Boolean Modeling and
                  Computation (JSAT)}},
 volume=4,
 pages={251--278},
 year = 2008
}

@misc{SAT4J,
  author = {Daniel {Le Berre} and Anne Parrain},
  title =	 "{SAT4J, a SATisfiability library for java}",
  note =	 "\url{http://www.sat4j.org}",
  url =		 "www.sat4j.org"
}

@article{Kemeny59,
author = {{J.G.} Kemeny},
title = {Mathematics without numbers},
journal = {Daedalus},
volume = {88},
year = {1959},
pages = {575-591} 
}