Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5--8, 2003. Selected revised papers

DOI10.1007/b95238zbMath1030.00034OpenAlexW2494235144WikidataQ56039662 ScholiaQ56039662MaRDI QIDQ1422036

No author found.

Publication date: 3 February 2004

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://link.springer.de/link/service/series/0558/tocs/t2919.htm

zbMATH Keywords

Satisfiability testing Santa Margherita Ligure (Italy)SAT 2003

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (2)

Abstraction-Based Algorithm for 2QBF ⋮ Present and Future of Practical SAT Solving

Uses Software

Chaff

This page was built for publication: Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5--8, 2003. Selected revised papers