A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions

Audemard, G.; Bertoli, P.; Cimatti, A.; Kornilowicz, A.; Sebastiani, Roberto

A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions

G. Audemard;P. Bertoli;A. Cimatti;A. Kornilowicz;Sebastiani, Roberto

2002-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2002
			
	Titolo del volume (Proceedings title)
	
				Automated Deduction - CADE-18
			
	Luogo di edizione (Place of publication)
	
				Berlin
			
	Casa editrice (Publisher)
	
				Springer Verlag
			
	ISBN
	
				3540439315
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-84948948420
			
	Tutti gli autori
	
						G., Audemard; P., Bertoli; A., Cimatti; A., Kornilowicz; Sebastiani, Roberto
					
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)