Satisfiability: where Theory meets Practice (Invited Talk).

DOI10.4230/LIPICS.CSL.2012.12MaRDI QIDQ4649533zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• The complexity of constraint satisfaction problems (invited talk)
• scientific article; zbMATH DE number 1222558
• Satisfiability checking: theory and applications
• Satisfiability modulo theories: an appetizer
• A Tutorial on Satisfiability Modulo Theories
• Some interesting research directions in satisfiability
• Beyond satisfiability: extensions and applications
• A constructive investigation of satisfiability
• A survey of satisfiability modulo theory

Cited in

(3)

• SAT 2005. Satisfiability Research in the Year 2005.
• SAT-solving in practice, with a tutorial example from supervisory control
• Computing with SAT oracles: past, present and future

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4649533)