Encoding Quantified CSPs as Quantified Boolean Formulae

Ian Philip Gent, P Nightingale, A Rowley

Research output: Contribution to conferencePaper

18 Citations (Scopus)
Original languageEnglish
Pages5
Number of pages5
Publication statusPublished - Aug 2004

Cite this