Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("NARIZZANO, Massimo")

Results 1 to 8 of 8

  • Page / 1
Export

Selection :

  • and

The QBFEVAL web portalNARIZZANO, Massimo; PULINA, Luca; TACCHELLA, Armando et al.Lecture notes in computer science. 2006, pp 494-497, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 4 p.Conference Paper

Monotone literals and learning in QBF reasoningGIUNCHIGLIA, Enrico; NARIZZANO, Massimo; TACCHELLA, Armando et al.Lecture notes in computer science. 2004, pp 260-273, issn 0302-9743, isbn 3-540-23241-9, 14 p.Conference Paper

An analysis of backjumping and trivial truth in quantified boolean formulas satisfiabilityGIUNCHIGLIA, Enrico; NARIZZANO, Massimo; TACCHELLA, Armando et al.Lecture notes in computer science. 2001, pp 111-122, issn 0302-9743, isbn 3-540-42601-9Conference Paper

QBF reasoning on real-world instancesGIUNCHIGLIA, Enrico; NARIZZANO, Massimo; TACCHELLA, Armando et al.Lecture notes in computer science. 2005, pp 105-121, issn 0302-9743, isbn 3-540-27829-X, 17 p.Conference Paper

QuBE : A system for deciding quantified boolean formulas satisfiabilityGIUNCHIGLIA, Enrico; NARIZZANO, Massimo; TACCHELLA, Armando et al.Lecture notes in computer science. 2001, pp 364-369, issn 0302-9743, isbn 3-540-42254-4Conference Paper

The second QBF solvers comparative evaluationLE BERRE, Daniel; NARIZZANO, Massimo; SIMON, Laurent et al.Lecture notes in computer science. 2005, pp 376-392, issn 0302-9743, isbn 3-540-27829-X, 17 p.Conference Paper

QuBE++: An efficient QBF solverGIUNCHIGLIA, Enrico; NARIZZANO, Massimo; TACCHELLA, Armando et al.Lecture notes in computer science. 2004, pp 201-213, issn 0302-9743, isbn 3-540-23738-0, 13 p.Conference Paper

Watched data structures for QBF solversGENT, Ian; GIUNCHIGLIA, Enrico; NARIZZANO, Massimo et al.Lecture notes in computer science. 2004, pp 25-36, issn 0302-9743, isbn 3-540-20851-8, 12 p.Conference Paper

  • Page / 1