Conflict resolution

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5732 LNCS, Issue , 2009, Pages 509-523

  Korovin, Konstantin ^a   Tsiskaridze, Nestan ^a   Voronkov, Andrei ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONFLICT RESOLUTION; FOURIER-MOTZKIN METHODS; LINEAR INEQUALITIES; ORDERS OF MAGNITUDE;

COMPUTER PROGRAMMING;

CONSTRAINT THEORY;

EID: 70350406488     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04244-7_41     Document Type: Conference Paper

References (11)

1. Barrett, C., Cesare Tinelli, C.: CVC3. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 298-302. Springer, Heidelberg (2007)
2. Barrett, C., Ranise, S., Stump, A., Tinelli, C.: The Satisfiability Modulo Theories Library, SMT-LIB (2008), http://www.SMT-LIB.org
3. Chandru, V.: Variable elimination in linear constraints. Comput. J. 36(5), 463-472 (1993)
4. Chernikov, S.N.: Linejnye Neravenstva. Nauka, Moscow (1968) (in Russian)
5. Duffin, R.J.: On Fourier's analyse of linear inequality systems. Mathematical Programming Study 1, 71-95 (1974)
6. Imbert, J., Van Hentenryck, P.: A note on redundant linear constraints. Technical Report CS-92-11, CS Department, Brown University (1992)
7. Jaffar, J., Maher, M.J., Roland, P.S., Yap, R.H.C.: Projecting CLP(R) constraints. New Generation Computing 11 (1993)
8. Kohler, D.A.: Projection of Convex Polyhedral Sets. PhD thesis, University of California, Barkaley (1967)
9. Korovin, K., Voronkov, A.: Hard Reality Tool (submitted, 2009), http://www.cs.man.ac.uk/~korovink/hr
10. Nieuwenhuis, R., Oliveras, A.: Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools (Invited Paper). In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol. 3835, pp. 23-46. Springer, Heidelberg (2005)
11. Schrijver, A.: Theory of Linear and Integer Programming. John Wiley and Sons, Chichester (1998)