المؤلفون: Luca Pulina, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://ceur-ws.org/Vol-589/paper15.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.667.2071; http://ceur-ws.org/Vol-589/paper15.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.667.2071
http://ceur-ws.org/Vol-589/paper15.pdf

المؤلفون: Massimo Narizzano, Luca Pulina, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://staff.science.uva.nl/~ulle/COMSOC-2006/papers/17-narizzano.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.594.5683; http://staff.science.uva.nl/~ulle/COMSOC-2006/papers/17-narizzano.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.594.5683
http://staff.science.uva.nl/~ulle/COMSOC-2006/papers/17-narizzano.pdf

المؤلفون: Massimo Narizzano, Luca Pulina, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.mrg.dist.unige.it/~tac/Publications/2006_JELIA-NarPulTac.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.2145; http://www.mrg.dist.unige.it/~tac/Publications/2006_JELIA-NarPulTac.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.2145
http://www.mrg.dist.unige.it/~tac/Publications/2006_JELIA-NarPulTac.pdf

المؤلفون: Massimo Narizzano, Luca Pulina, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.star.dist.unige.it/~pulina/paper/06-jelia_NarPulTac.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.6775; http://www.star.dist.unige.it/~pulina/paper/06-jelia_NarPulTac.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.6775
http://www.star.dist.unige.it/~pulina/paper/06-jelia_NarPulTac.pdf

المؤلفون: Daniel Le Berre, Massimo Narizzano, Laurent Simon, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.lri.fr/~simon/recherche/papiers/04sat-qbf.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.931; http://www.lri.fr/~simon/recherche/papiers/04sat-qbf.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.931
http://www.lri.fr/~simon/recherche/papiers/04sat-qbf.pdf

المؤلفون: Enrico Giunchiglia, Marco Maratea, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.mrg.dist.unige.it/~tac/Reports/failed.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.2061; http://www.mrg.dist.unige.it/~tac/Reports/failed.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.2061
http://www.mrg.dist.unige.it/~tac/Reports/failed.ps

المؤلفون: Enrico Giunchiglia, Marco Maratea, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.mrg.dist.unige.it/~marco/Data/SAT03.ps.gz.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.1284; http://www.mrg.dist.unige.it/~marco/Data/SAT03.ps.gz

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.1284
http://www.mrg.dist.unige.it/~marco/Data/SAT03.ps.gz

المؤلفون: Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://klase.fbk.eu/paper_firb_astro_klase/unige/P33.pdf.

مصطلحات موضوعية: fausto, rseba

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.515.4480; http://klase.fbk.eu/paper_firb_astro_klase/unige/P33.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.515.4480
http://klase.fbk.eu/paper_firb_astro_klase/unige/P33.pdf

المؤلفون: Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://sra.itc.it/people/roveri/papers/FROCOS02.ps.gz.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.7944; http://sra.itc.it/people/roveri/papers/FROCOS02.ps.gz

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.7944
http://sra.itc.it/people/roveri/papers/FROCOS02.ps.gz

المؤلفون: Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://gauss.ececs.uc.edu/Conferences/SAT2002/Abstracts/QBF/giunchiglia.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.8925; http://gauss.ececs.uc.edu/Conferences/SAT2002/Abstracts/QBF/giunchiglia.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.8925
http://gauss.ececs.uc.edu/Conferences/SAT2002/Abstracts/QBF/giunchiglia.ps

المؤلفون: Enrico Giunchiglia, Massimo Narizzano, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.csie.ntu.edu.tw/~b92003/alcom/QUBE A system for deciding Quantified Boolean Formulas Satisfiability.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.5444; http://www.csie.ntu.edu.tw/~b92003/alcom/QUBE A system for deciding Quantified Boolean Formulas Satisfiability.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.5444
http://www.csie.ntu.edu.tw/~b92003/alcom/QUBE A system for deciding Quantified Boolean Formulas Satisfiability.pdf

المؤلفون: Enrico Giunchiglia, Massimo Narizzano, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.csie.ntu.edu.tw/~b92003/alcom/Backjumping for Quantified Boolean Logic Satisfiability.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.9566; http://www.csie.ntu.edu.tw/~b92003/alcom/Backjumping for Quantified Boolean Logic Satisfiability.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.9566
http://www.csie.ntu.edu.tw/~b92003/alcom/Backjumping for Quantified Boolean Logic Satisfiability.pdf

المؤلفون: Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.mrg.dist.unige.it/~enrico/ftp/01ijcar-qube.ps.gz.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.2766; http://www.mrg.dist.unige.it/~enrico/ftp/01ijcar-qube.ps.gz

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.2766
http://www.mrg.dist.unige.it/~enrico/ftp/01ijcar-qube.ps.gz

المؤلفون: Enrico Giunchiglia, Armando Tacchella, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://frege.mrg.dist.unige.it/~tac/Papers/tableaux2000/final.ps.gz.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.147; http://frege.mrg.dist.unige.it/~tac/Papers/tableaux2000/final.ps.gz

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.147
http://frege.mrg.dist.unige.it/~tac/Papers/tableaux2000/final.ps.gz

المؤلفون: Luca Pulina, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.star.dist.unige.it/~pulina/paper/07-rcra_PulTac.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.8247; http://www.star.dist.unige.it/~pulina/paper/07-rcra_PulTac.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.8247
http://www.star.dist.unige.it/~pulina/paper/07-rcra_PulTac.pdf

المؤلفون: Enrico Giunchiglia, Massimo Narizzano, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://klase.fbk.eu/papersUNIGE/P1.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.577.5512; http://klase.fbk.eu/papersUNIGE/P1.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.577.5512
http://klase.fbk.eu/papersUNIGE/P1.pdf

المؤلفون: Enrico Giunchiglia, Massimo Narizzano, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: https://www.aaai.org/Papers/AAAI/2002/AAAI02-097.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.564.3748

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.564.3748

المؤلفون: Enrico Giunchiglia, Armando Tacchella, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://frege.mrg.dist.unige.it/~tac/Papers/cade17/main.ps.gz.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.7063; http://frege.mrg.dist.unige.it/~tac/Papers/cade17/main.ps.gz

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.7063
http://frege.mrg.dist.unige.it/~tac/Papers/cade17/main.ps.gz

المؤلفون: Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://frege.mrg.dist.unige.it/~tac/Papers/aiia99/main.ps.gz.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.7534; http://frege.mrg.dist.unige.it/~tac/Papers/aiia99/main.ps.gz

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.7534
http://frege.mrg.dist.unige.it/~tac/Papers/aiia99/main.ps.gz

المؤلفون: Carola Eschenbach, Michael Grüninger, Leslie Barrett, Cristina De Ambrosi, Cristiano Ghersi, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://fois08.dfki.de/proceedings/FOIS08PosterProceedings.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.211.9206; http://fois08.dfki.de/proceedings/FOIS08PosterProceedings.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.211.9206
http://fois08.dfki.de/proceedings/FOIS08PosterProceedings.pdf