Satisfiability: where Theory meets Practice (Invited Talk).

DOI10.4230/LIPIcs.CSL.2012.12zbMath1252.68156OpenAlexW2253476229MaRDI QIDQ4649533

Inês Lynce

Publication date: 22 November 2012

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2012/3660/

zbMATH Keywords

applicationspropositional satisfiabilitySAT solvers

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

This page was built for publication: Satisfiability: where Theory meets Practice (Invited Talk).